summaryrefslogtreecommitdiff
blob: aaaed02f8e165eeb43969b08ac094af90fc8a121 (plain)
1
2
3
4
5
6
7
8
9
10
11
--- polyml.5.4.1-orig/configure.ac	2010-09-03 21:22:40.000000000 +1000
+++ polyml.5.4.1/configure.ac	2012-01-09 22:44:04.153668402 +1100
@@ -321,7 +321,7 @@
 AC_ARG_WITH([portable],
     [AS_HELP_STRING([--with-portable],
               [Build the portable interpreter version of Poly/ML instead of native @<:@default=no@:>@])], [
-    ac_cv_with_portable=yes], [
+    ac_cv_with_portable="$withval"], [
     ac_cv_with_portable=no])
 
 case "${host_cpu}" in