diff options
Diffstat (limited to 'www/wcol/files/patch-ad')
-rw-r--r-- | www/wcol/files/patch-ad | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/www/wcol/files/patch-ad b/www/wcol/files/patch-ad new file mode 100644 index 000000000000..58acc2ad2f4e --- /dev/null +++ b/www/wcol/files/patch-ad @@ -0,0 +1,17 @@ +--- ../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 ] |