-
Ken Shan authored
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.
653f8397