Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-11-11 15:49:50 -0800 (Wed, 11 Nov 1998)
Revision: 2518
Log message:
Added -nostdinc -nostdinc++ options to CPP - we use cpp on .ml files
and there is no need to look into C/C++ include directories.
Changes | Path |
+1 -1 | metaprl/mk/config |