--- 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 |