diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/configure b/configure new file mode 100755 index 0000000..9a1e936 --- /dev/null +++ b/configure @@ -0,0 +1,18 @@ +#! /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 |