[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.
Showing with 4 additions and 4 deletions