diff options
author | David Ayers <d.ayers@inode.at> | 2006-06-20 12:45:35 +0400 |
---|---|---|
committer | David Ayers <d.ayers@inode.at> | 2006-06-20 12:45:35 +0400 |
commit | 09fd280ca40c0b1211d3e8b31c3a813150c57c6b (patch) | |
tree | 2b04dac3a45d492805e4ccf419c3a948505d5bc8 /configure.in | |
parent | 1cda51cf8a4c57a02d8f306330de8e8c768733f5 (diff) |
2006-06-20 David Ayers <d.ayers@inode.at>
PR bootstrap/28072
* configure.in: Add target-boehm-gc to noconfigdirs depending on
whether target-libjava is being configured instead of whether the
java front end is enabled.
* configure: Regenerate.
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 17 |
1 files changed, 6 insertions, 11 deletions
diff --git a/configure.in b/configure.in index 2ff8aa5c6..9749d9f27 100644 --- a/configure.in +++ b/configure.in @@ -1324,20 +1324,15 @@ AC_ARG_ENABLE(objc-gc, esac]) # Make sure we only build Boehm's garbage collector if required. -case ,${enable_languages},:${enable_libgcj}:${enable_objc_gc} in - *,objc,*:*:yes) +case ,${enable_languages},:${enable_objc_gc} in + *,objc,*:yes) # Keep target-boehm-gc if requested for Objective-C. ;; - *,java,*:no:*) - # Remove target-boehm-gc if libgcj has been disabled explicitly. - noconfigdirs="$noconfigdirs target-boehm-gc" - ;; - *,java,*:*:*) - # Keep target-boehm-gc by default for Java. - ;; *) - # Otherwise remove target-boehm-gc. - noconfigdirs="$noconfigdirs target-boehm-gc" + # Otherwise remove target-boehm-gc depending on target-libjava. + if echo " ${noconfigdirs} " | grep "target-libjava" >/dev/null 2>&1; then + noconfigdirs="$noconfigdirs target-boehm-gc" + fi ;; esac |