diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-03-19T09·16+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-03-19T09·16+0000 |
| commit | b2b6cf3fc83f0e1625214ae31b0b088a266234bf (patch) | |
| tree | 6cdbe3deaaf4431ac75fd80586d0d979aafd05e5 /src/Makefile.am | |
| parent | eb2dd4815c05fcc592d049bddcd2f42d13216eab (diff) | |
* Undocumented option `gc-check-reachability' to allow reachability
checking to be turned off on machines with way too many roots.
Diffstat (limited to 'src/Makefile.am')
0 files changed, 0 insertions, 0 deletions