diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/configure b/configure deleted file mode 100755 index 9a1e936..0000000 --- a/configure +++ /dev/null @@ -1,18 +0,0 @@ -#! /bin/sh - -set -o errexit -set -o nounset - -exec 3>config.mk - -case "$( uname )" in - OpenBSD) - echo 'BINGRP = bin' 1>&3 - echo 'MANGRP = bin' 1>&3 - ;; - Linux) - echo 'BINMODE = 755' 1>&3 - echo 'MANMODE = 644' 1>&3 - echo 'MANDIR = share/man/man' 1>&3 - ;; -esac |