diff options
Diffstat (limited to 'boehm-gc/configure.host')
| -rw-r--r-- | boehm-gc/configure.host | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/boehm-gc/configure.host b/boehm-gc/configure.host index a98a0a7cb30..97f4dacb6de 100644 --- a/boehm-gc/configure.host +++ b/boehm-gc/configure.host @@ -18,8 +18,11 @@ # It sets the following shell variables: # gc_cflags Special CFLAGS to use when building +# gc_use_mmap Set to "yes" on platforms where mmap should be used instead +# of sbrk. This will define USE_MMAP. gc_cflags="" +gc_use_mmap= # We should set -fexceptions if we are using gcc and might be used # inside something like gcj. This is the zeroth approximation: @@ -37,6 +40,12 @@ else esac fi +case "${host}" in + *-linux*) + gc_use_mmap=yes + ;; +esac + case "${target_optspace}:${host}" in yes:*) gc_cflags="${gc_cflags} -Os" |