| commit | f80798b1ca89d4803f132edf954f6e282e4e6d20 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Aug 02 21:04:46 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Aug 02 21:04:46 2002 +0000 |
| tree | 0bd047759aaaffefc33d8a0553b025aeb71fa4df | |
| parent | 4b48d6b37c3e52721c18c33217b75ba864695109 [diff] |
When building the IDE check that waste is available, to forestall surprises later (the IDE won't work without waste).