enabling malloc `uClinux broken munmap' code

Hi,

I added (locally) the following to the uClibc Makefile to enable the
malloc work-around for uClinux's broken munmap.  Is this OK?  Maybe it
ought to be a config-file option or something, but ...

-Miles


--- Makefile.~1.183.~   2002-10-09 09:57:55.000000000 +0900
+++ Makefile    2002-10-15 15:46:45.000000000 +0900
@@ -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 ; \


-Miles
-- 
.Numeric stability is probably not all that important when you're guessing.