diff options
| -rwxr-xr-x | release/picobsd/build/picobsd | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/release/picobsd/build/picobsd b/release/picobsd/build/picobsd index 26e1b08..2e3d290 100755 --- a/release/picobsd/build/picobsd +++ b/release/picobsd/build/picobsd @@ -166,6 +166,7 @@ create_includes_and_libraries2() { # opt_dir opt_target log "create_includes_and_libraries2() for ${SRC} $1" if [ ${OSVERSION} -ge 600000 ] ; then no="-DNO_CLEAN -DNO_PROFILE -DNO_GAMES -DNO_LIBC_R" # WITHOUT_CDDL=1" + no="$no -DWITHOUT_CASPER" no="$no -DMALLOC_PRODUCTION" else no="-DNOCLEAN -DNOPROFILE -DNOGAMES -DNOLIBC_R" |
