# HG changeset patch
# User Christian Kamm <kamm incasoftware de>
# Date 1219595134 -7200
# Node ID 1c7220171d41b3edf746cdc797653aef5797100a
# Parent  8a73062f934efe3ac31e05b511998d90da35b809
Disable boehm gc by default. Use --enable-boehm-gc on premake to enable.

diff -r 8a73062f934e -r 1c7220171d41 premake.lua
--- a/premake.lua	Sun Aug 24 17:02:03 2008 +0200
+++ b/premake.lua	Sun Aug 24 18:25:34 2008 +0200
@@ -6,14 +6,11 @@
 OPAQUE_VTBLS = 1
 
 -- use of boehm gc
-if OS == "windows" then
-    USE_BOEHM_GC = 0
-else
-    addoption("no-boehm", "Disable use of the Boehm GC")
+USE_BOEHM_GC = 0
+if OS ~= "windows" then
+    addoption("enable-boehm-gc", "Enable use of the Boehm GC (broken!)")
 
-    if options["no-boehm"] then
-        USE_BOEHM_GC = 0
-    else
+    if options["enable-boehm-gc"] then
         USE_BOEHM_GC = 1
     end
 end