diff options
-rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -161,10 +161,14 @@ uClibc_config: Makefile Config else \ echo "#undef __UCLIBC_HAS_IPV6__" >> include/bits/uClibc_config.h ; \ fi + # [For now we make the assumption that a linux system without an + # MMU must be uClinux, and must have a broken munmap (both + # assumptions are a bit dodgy, but can be changed in the future).] @if [ "$(HAS_MMU)" = "true" ] ; then \ echo "#define __UCLIBC_HAS_MMU__ 1" >> include/bits/uClibc_config.h ; \ else \ echo "#undef __UCLIBC_HAS_MMU__" >> include/bits/uClibc_config.h ; \ + echo "#define __UCLIBC_UCLINUX_BROKEN_MUNMAP__ 1" >> include/bits/uClibc_config.h ; \ fi @if [ "$(HAS_FLOATING_POINT)" = "true" ] ; then \ echo "#define __UCLIBC_HAS_FLOATS__ 1" >> include/bits/uClibc_config.h ; \ |