blob: aaaed02f8e165eeb43969b08ac094af90fc8a121 [file] [log] [blame]
--- 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