diff options
Diffstat (limited to 'gcc/configure')
-rwxr-xr-x | gcc/configure | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gcc/configure b/gcc/configure index 10ff30583be..0283bb9c490 100755 --- a/gcc/configure +++ b/gcc/configure @@ -14959,9 +14959,17 @@ fi if test "${with_gc+set}" = set; then withval="$with_gc" case "$withval" in - page | zone) + page) GGC=ggc-$withval ;; + zone) + GGC=ggc-$withval + +cat >>confdefs.h <<\_ACEOF +#define GGC_ZONE 1 +_ACEOF + + ;; *) { { echo "$as_me:$LINENO: error: $withval is an invalid option to --with-gc" >&5 echo "$as_me: error: $withval is an invalid option to --with-gc" >&2;} |