diff options
Diffstat (limited to 'boehm-gc/configure')
| -rwxr-xr-x | boehm-gc/configure | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/boehm-gc/configure b/boehm-gc/configure index 841bd06d825..edf9a4b043c 100755 --- a/boehm-gc/configure +++ b/boehm-gc/configure @@ -2770,11 +2770,11 @@ cat >> confdefs.h <<\EOF EOF cat >> confdefs.h <<\EOF -#define NO_DEBUGGING 1 +#define JAVA_FINALIZATION 1 EOF cat >> confdefs.h <<\EOF -#define JAVA_FINALIZATION 1 +#define GC_GCJ_SUPPORT 1 EOF @@ -2791,6 +2791,10 @@ EOF #define SMALL_CONFIG 1 EOF + cat >> confdefs.h <<\EOF +#define NO_DEBUGGING 1 +EOF + fi |