diff options
Diffstat (limited to 'config.lib')
| -rw-r--r-- | config.lib | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/config.lib b/config.lib index 6f4835043..66c23abec 100644 --- a/config.lib +++ b/config.lib @@ -219,8 +219,9 @@ detect_params() { - --prefix-dir) prevp_p="prefix-dir";; - --prefix-dir=*) prefix_dir="$optarg";; + # Alias --prefix with --prefix-dir, for compatibility with GNU autotools + --prefix-dir | --prefix) prevp_p="prefix-dir";; + --prefix-dir=* | --prefix=*) prefix_dir="$optarg";; --binary-dir) prevp_p="binary-dir";; --binary-dir=*) binary_dir="$optarg";; |