Changeset 544:1c7220171d41
- Timestamp:
- 08/24/08 12:25:34
(5 months ago)
- Author:
- Christian Kamm <kamm incasoftware de>
- branch:
- default
- Message:
Disable boehm gc by default. Use --enable-boehm-gc on premake to enable.
-
Files:
-
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
| r366 |
r544 |
|
| 7 | 7 | |
|---|
| 8 | 8 | -- use of boehm gc |
|---|
| 9 | | if OS == "windows" then |
|---|
| 10 | | USE_BOEHM_GC = 0 |
|---|
| 11 | | else |
|---|
| 12 | | addoption("no-boehm", "Disable use of the Boehm GC") |
|---|
| | 9 | USE_BOEHM_GC = 0 |
|---|
| | 10 | if OS ~= "windows" then |
|---|
| | 11 | addoption("enable-boehm-gc", "Enable use of the Boehm GC (broken!)") |
|---|
| 13 | 12 | |
|---|
| 14 | | if options["no-boehm"] then |
|---|
| 15 | | USE_BOEHM_GC = 0 |
|---|
| 16 | | else |
|---|
| | 13 | if options["enable-boehm-gc"] then |
|---|
| 17 | 14 | USE_BOEHM_GC = 1 |
|---|
| 18 | 15 | end |
|---|
