summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorStefan Kreutz <mail@skreutz.com>2024-05-26 22:41:56 +0200
committerStefan Kreutz <mail@skreutz.com>2024-05-26 22:41:56 +0200
commit44bf77a12ffd86294054c6e92077ea31f3613360 (patch)
tree5b05aee2c9ce71da96eb2b88581bb2c646192bed /configure
parenta24a3f38fc297479873cdbe5c93fec4226e2fdbf (diff)
downloadtemp-postgres-main.tar
Port to Arch LinuxHEADmain
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure20
1 files changed, 15 insertions, 5 deletions
diff --git a/configure b/configure
index c9b0f50..d5df8c0 100755
--- a/configure
+++ b/configure
@@ -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
Generated by cgit. See skreutz.com for my tech blog and contact information.