diff options
| -rw-r--r-- | compiler/main/DriverPipeline.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/main/DriverPipeline.hs b/compiler/main/DriverPipeline.hs index b655425f2e..99d3ce7424 100644 --- a/compiler/main/DriverPipeline.hs +++ b/compiler/main/DriverPipeline.hs @@ -1428,8 +1428,9 @@ mkExtraCObj dflags xs ([Option "-c", FileOption "" cFile, Option "-o", - FileOption "" oFile] ++ - map (FileOption "-I") (includeDirs rtsDetails)) + FileOption "" oFile] + ++ map SysTools.Option (getOpts dflags opt_c) -- see #5528 + ++ map (FileOption "-I") (includeDirs rtsDetails)) return oFile mkExtraObjToLinkIntoBinary :: DynFlags -> [PackageId] -> IO FilePath |