diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2022-09-13 07:58:30 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2022-09-13 07:58:30 -0700 |
| commit | b2e641dbf982a3f47d8c3326df92c17cdefd4673 (patch) | |
| tree | 931733160f80631f7ff26fb5ebfbcd8404a9fd73 | |
| parent | 20826049994d4819ab0dd7ab866a3c9fea25ad7b (diff) | |
| download | txr-b2e641dbf982a3f47d8c3326df92c17cdefd4673.tar.gz txr-b2e641dbf982a3f47d8c3326df92c17cdefd4673.tar.bz2 txr-b2e641dbf982a3f47d8c3326df92c17cdefd4673.zip | |
configure: fix disabling NaN boxing on 32 bit.
* configure: actually disable it, don't just print the
warning. Warning should say 64 bits required, not 32.
| -rwxr-xr-x | configure | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1597,9 +1597,10 @@ fi if [ -n "$nan_boxing" ] ; then if [ $SIZEOF_PTR -ne 8 ] ; then - printf "Warning: NaN boxing disabled: it requires 32 bit pointers\n" + printf "Warning: NaN boxing disabled: it requires 64 bit pointers\n" + else + printf "#define CONFIG_NAN_BOXING 1\n" >> config.h fi - printf "#define CONFIG_NAN_BOXING 1\n" >> config.h fi if [ -n "$nan_boxing" ] ; then |