diff options
| author | Stefan Kreutz <mail@skreutz.com> | 2024-05-26 22:41:56 +0200 |
|---|---|---|
| committer | Stefan Kreutz <mail@skreutz.com> | 2024-05-26 22:41:56 +0200 |
| commit | 44bf77a12ffd86294054c6e92077ea31f3613360 (patch) | |
| tree | 5b05aee2c9ce71da96eb2b88581bb2c646192bed /configure | |
| parent | a24a3f38fc297479873cdbe5c93fec4226e2fdbf (diff) | |
| download | temp-postgres-44bf77a12ffd86294054c6e92077ea31f3613360.tar | |
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 |