[build] makepchinput should keep order of CXXFLAGS.

build/unix/makepchinput.py

@@ -46,11 +46,12 @@ def getParams():
    clingetpchList = argv[3:posDelim]
    cxxflags = argv[posDelim + 1:]
    #print (', '.join(cxxflags))
-   cxxflagsNoW = {flag for flag in cxxflags if (flag[0:2] != '-W' and flag[0:3] != '-wd' and \
+   cxxflagsNoW = [flag for flag in cxxflags if (flag[0:2] != '-W' and flag[0:3] != '-wd' and \
                                                 flag[0:2] != '-x' and flag[0:3] != '-ax' and \
                                                 flag[0:2] != '-O' and flag[0:5] != '-arch') \
-                                                or flag[0:4] == '-Wno'} - \
-                  {'-Wno-noexcept-type'}
+                                                or flag[0:4] == '-Wno']
+   if '-Wno-noexcept-type' in cxxflagsNoW:
+      cxxflagsNoW.remove('-Wno-noexcept-type')
    #print (', '.join(cxxflagsNoW))
 
    return rootSrcDir, modules, clingetpchList, cxxflagsNoW