diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 14 |
1 files changed, 14 insertions, 0 deletions
@@ -1301,6 +1301,7 @@ Optional Features: --enable-optional-subprojects Enable all optional subprojects --disable-vm Disable virtual memory + --disable-logo Disable boot logo --disable-fp-emulation Disable floating-point emulation --disable-atomics Emulate atomic ops nonatomically @@ -4047,6 +4048,19 @@ $as_echo "#define PK_ENABLE_VM /**/" >>confdefs.h fi +# Check whether --enable-vm was given. +if test "${enable_vm+set}" = set; then : + enableval=$enable_vm; +fi + +if test "x$enable_logo" != "xno"; then : + + +$as_echo "#define PK_ENABLE_LOGO /**/" >>confdefs.h + + +fi + # Check whether --enable-fp-emulation was given. if test "${enable_fp_emulation+set}" = set; then : enableval=$enable_fp_emulation; |