diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 20 |
1 files changed, 15 insertions, 5 deletions
@@ -1,7 +1,6 @@ #! /bin/sh -set -o errexit -set -o nounset +set -eu exec 3>config.mk @@ -16,8 +15,19 @@ case "$( uname )" in echo 'MANGRP = wheel' 1>&3 ;; Linux) - echo 'BINMODE = 755' 1>&3 - echo 'MANMODE = 644' 1>&3 - echo 'MANDIR = share/man/man' 1>&3 + 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 |