Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-24 13:28:28 -0800 (Tue, 24 Jan 2006)
Revision: 8593
Log message:
- Making the "omake clean" more clean, while making sure that in shared mode,
"omake clean" would not try cleaning up the shared installation.
- Removing the "bin" and "lib" directories - they should now be created
on-demand.
| Changes | Path |
| +6 -0 | metaprl/OMakefile |
| +4 -2 | metaprl/OMakefile_common |
| +1 -1 | metaprl/OMakefile_theories |
| +1 -1 | metaprl/editor/ml/OMakefile |
| +1 -0 | metaprl/filter/OMakefile |