[project @ 2001-08-07 17:05:35 by ken]
authorken <unknown>
Tue, 7 Aug 2001 17:05:35 +0000 (17:05 +0000)
committerken <unknown>
Tue, 7 Aug 2001 17:05:35 +0000 (17:05 +0000)
commit653f839746c53de193f8158a1c5b3dd56017a251
treee42981fdbd3ab933ede2c0780771725ea656f176
parenteb5e27c3536696be04dcaa6e556cdec3e42c5c3f
[project @ 2001-08-07 17:05:35 by ken]
Allow (and ignore, i.e., strip away) "-optc" prefix in command-line options.
This is for mkdependC-ing and compiling C code under ghc/rts, where we
use ghc-inplace as CC and give -optc-Dxxx options in CC_OPTS.  We used to
generate inaccurate (insufficient) dependencies.
glafp-utils/mkdependC/mkdependC.prl