diff options
Diffstat (limited to 'www/wcol/files/patch-ad')
-rw-r--r-- | www/wcol/files/patch-ad | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/www/wcol/files/patch-ad b/www/wcol/files/patch-ad deleted file mode 100644 index 58acc2ad2f4e..000000000000 --- a/www/wcol/files/patch-ad +++ /dev/null @@ -1,17 +0,0 @@ ---- ../admin/killwcol.in.orig Sun Jul 12 20:37:34 1998 -+++ ../admin/killwcol.in Sun Jul 12 20:35:08 1998 -@@ -3,10 +3,10 @@ - ### - ### defaults - ### --D_CONFIG=/etc/wcol.conf --D_PIDFILE=/var/tmp/wcol.pid --BSD= --SYSV=1 -+D_CONFIG=@prefix@/etc/wcol.conf -+D_PIDFILE=/var/run/wcol.pid -+BSD=1 -+SYSV= - - - while [ $# -ge 1 ] |