diff options
author | Omar Polo <op@omarpolo.com> | 2021-12-09 19:24:18 +0000 |
---|---|---|
committer | Omar Polo <op@omarpolo.com> | 2021-12-09 19:24:18 +0000 |
commit | 34c4ca6ebc5e71f50f5f8d52113b47b26573bfa1 (patch) | |
tree | ebc39d848e7d8d6d437020dd8979c082b38a9736 /configure | |
parent | ae0d3cdbbe9d39adeecf623ca7feeda011bf97dd (diff) |
configure: support --prefix=...
It's like passing PREFIX=... on the command line
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 15 |
1 files changed, 8 insertions, 7 deletions
@@ -127,13 +127,14 @@ for keyvals in "$@"; do fi val=`echo $keyvals | cut -d '=' -f 2-` case "$key" in - BINDIR) BINDIR="$val" ;; - CC) CC="$val" ;; - CFLAGS) CFLAGS="$val" ;; - DESTDIR) DESTDIR="$val" ;; - LDFLAGS) LDFLAGS="$val" ;; - PREFIX) PREFIX="$val" ;; - YACC) YACC="$val" ;; + BINDIR) BINDIR="$val" ;; + CC) CC="$val" ;; + CFLAGS) CFLAGS="$val" ;; + DESTDIR) DESTDIR="$val" ;; + LDFLAGS) LDFLAGS="$val" ;; + PREFIX) PREFIX="$val" ;; + YACC) YACC="$val" ;; + --prefix) PREFIX="$val" ;; *) echo "$0: invalid key: $key" 1>&2 exit 1 |