diff options
Diffstat (limited to 'erts')
| -rw-r--r-- | erts/configure.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/erts/configure.in b/erts/configure.in index bcdc6cd083..1b6d187bcb 100644 --- a/erts/configure.in +++ b/erts/configure.in @@ -3156,7 +3156,11 @@ AC_TRY_RUN([ ], erl_code_model_small=yes, erl_code_model_small=no, -erl_code_model_small=no) +[case X$erl_xcomp_code_model_small in + X) erl_code_model_small=no;; + Xyes|Xno) erl_code_model_small=$erl_xcomp_code_model_small;; + *) AC_MSG_ERROR([Bad erl_xcomp_code_model_small value: $erl_xcomp_code_model_small]);; + esac]) AC_MSG_RESULT([$erl_code_model_small]) LDFLAGS="$saved_LDFLAGS" case $erl_code_model_small in |