summaryrefslogtreecommitdiff
path: root/gcc/configure
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/configure')
-rwxr-xr-xgcc/configure10
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;}