diff options
Diffstat (limited to 'gcc/configure')
-rwxr-xr-x | gcc/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/configure b/gcc/configure index 34ad39b..e539c12 100755 --- a/gcc/configure +++ b/gcc/configure @@ -83,7 +83,7 @@ ac_help="$ac_help use KEY instead of GCC version as the last portion of the registry key" ac_help="$ac_help - --with-gc={simple,page} choose the garbage collection mechanism to use + --with-gc={simple,page,zone} choose the garbage collection mechanism to use with the compiler" ac_help="$ac_help --with-system-zlib use installed libz" @@ -7609,7 +7609,7 @@ fi if test "${with_gc+set}" = set; then withval="$with_gc" case "$withval" in - simple | page) + simple | page | zone) GGC=ggc-$withval ;; *) |