diff options
| author | Stefan Kreutz <mail@skreutz.com> | 2026-04-30 10:10:46 +0200 |
|---|---|---|
| committer | Stefan Kreutz <mail@skreutz.com> | 2026-04-30 10:10:46 +0200 |
| commit | 46a3d2ba70decd1931e13c190bfa49217e57718d (patch) | |
| tree | 49bc767c52d0cb4cf8443782cae1cc641ef59343 /configure | |
| parent | 47421e41def84ab92a52906f01266b1044fbfe29 (diff) | |
| download | temp-postgres-46a3d2ba70decd1931e13c190bfa49217e57718d.tar.gz | |
Rewrite in async Rust
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 |