diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-12 21:29:56 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-12 21:30:04 -0400 |
| commit | 2fe0cf8898700a3e459542f35e4725041717b972 (patch) | |
| tree | 68d0de888d243a771fdc6845cf37330c3a3b40b4 /configure.ac | |
| parent | 5d0b8cf699d86f2c094b10a895f3612c73604321 (diff) | |
To avoid confusion, permit --enable-staticbinary as an alias for --enable-static-binary.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 4f27d20b3..d83293079 100644 --- a/configure.ac +++ b/configure.ac @@ -126,6 +126,10 @@ if test -n "${enable_optimized+set}"; then btargs="$btargs nooptimized" fi fi +# --enable-staticbinary is an alias for --enable-static-binary +if test -n "${enable_staticbinary+set}"; then + enable_static_binary="$enable_staticbinary" +fi if test -n "${enable_static_binary+set}"; then if test "$enable_static_binary" = yes; then btargs="$btargs staticbinary" |