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 | ee4d132aee46d56aab67d48d5422c12a2a3e1d5a (patch) | |
| tree | 931733160f80631f7ff26fb5ebfbcd8404a9fd73 | |
| parent | 516dd3d1bf29ffd72e6f868896738ffd29df588e (diff) | |
| download | txr-ee4d132aee46d56aab67d48d5422c12a2a3e1d5a.tar.gz txr-ee4d132aee46d56aab67d48d5422c12a2a3e1d5a.tar.bz2 txr-ee4d132aee46d56aab67d48d5422c12a2a3e1d5a.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 |