To avoid confusion, permit --enable-staticbinary as an alias for --enable-static...
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 13 Aug 2014 01:29:56 +0000 (21:29 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 13 Aug 2014 01:30:04 +0000 (21:30 -0400)
configure.ac

index 4f27d20b3f1e696c8e4fe0f18a682a65a17f6a5c..d8329307956e504a6c01412171924272e5408dbb 100644 (file)
@@ -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"