diff options
Diffstat (limited to 'erts/configure.in')
-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 05379f74ee..5216058bf5 100644 --- a/erts/configure.in +++ b/erts/configure.in @@ -3012,7 +3012,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 |