diff options
Diffstat (limited to 'www/wcol/files/patch-ae')
| -rw-r--r-- | www/wcol/files/patch-ae | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/www/wcol/files/patch-ae b/www/wcol/files/patch-ae new file mode 100644 index 000000000000..2c5acbee73ee --- /dev/null +++ b/www/wcol/files/patch-ae @@ -0,0 +1,11 @@ +--- configure.orig Sun Jul 12 20:36:14 1998 ++++ configure Sun Jul 12 20:35:57 1998 +@@ -2197,7 +2197,7 @@ + EOF + cat >> $CONFIG_STATUS <<EOF + +-CONFIG_FILES=\${CONFIG_FILES-"Makefile"} ++CONFIG_FILES=\${CONFIG_FILES-"Makefile ../admin/killwcol"} + EOF + cat >> $CONFIG_STATUS <<\EOF + for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then |