diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/configure b/configure deleted file mode 100755 index d5df8c0..0000000 --- a/configure +++ /dev/null @@ -1,33 +0,0 @@ -#! /bin/sh - -set -eu - -exec 3>config.mk - -case "$( uname )" in - OpenBSD) - echo 'BINGRP = bin' 1>&3 - echo 'MANGRP = bin' 1>&3 - ;; - FreeBSD) - echo 'BINGRP = wheel' 1>&3 - echo 'MANDIR = share/man/man' 1>&3 - echo 'MANGRP = wheel' 1>&3 - ;; - Linux) - case "$( sed -n 's/^ID=//p' /etc/os-release )" in - void) - echo 'BINMODE = 755' 1>&3 - echo 'MANMODE = 644' 1>&3 - echo 'MANDIR = share/man/man' 1>&3 - ;; - arch) - echo 'PREFIX = /usr' 1>&3 - echo 'BINMODE = 755' 1>&3 - echo 'MANDIR = share/man/man' 1>&3 - echo 'MANMODE = 644' 1>&3 - echo 'MANGZ = 1' 1>&3 - ;; - esac - ;; -esac |