Ticket #48376: Fix-PCH-Optimise-Flags.diff

File Fix-PCH-Optimise-Flags.diff, 661 bytes (added by cjones051073 (Chris Jones), 9 years ago)

  • build/unix/makepchinput.py

    old new  
    4646   clingetpchList = argv[3:posDelim]
    4747   cxxflags = argv[posDelim + 1:]
    4848   print (', '.join(cxxflags))
    49    cxxflagsNoW = [flag for flag in cxxflags if (flag[0:2] != '-W' and flag[0:3] != '-wd' and flag[0:5] != '-arch') or flag[0:4] == '-Wno']
     49   cxxflagsNoW = [flag for flag in cxxflags if (flag[0:2] != '-W' and flag[0:3] != '-wd' and flag[0:2] != '-O' and flag[0:5] != '-arch') or flag[0:4] == '-Wno']
    5050   print (', '.join(cxxflagsNoW))
    5151
    5252   return rootSrcDir, modules, clingetpchList, cxxflagsNoW