Skip to content
Snippets Groups Projects
Commit ba1f160e authored by Axel Naumann's avatar Axel Naumann
Browse files

[build] makepchinput.py: fix names of cleaned files:

Before, makepchinput.py was not removing some files because they were misnamed (allLinkDef.h vs allLinkDefs.h, cppflags.txt vs allCppflags.txt).
Now, let the caller send consistent file names for "remove old files".
Remove duplicate allDict.cxx.h (sic!) removal.
Also remove allDict.cxx.pch which seems to exist, sometimes?
parent 5dd61645
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment