diff options
| author | ruki <[email protected]> | 2017-07-28 10:27:33 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2017-07-28 10:27:45 +0800 |
| commit | 222d8bbce334904d1a7cb3514d2655fe10b9fd35 (patch) | |
| tree | b5b8662d6bca7324c2ab6108b7bb1aa83d156d1b /xmake/plugins/project/makefile/makefile.lua | |
| parent | c109f84c28886f553c949b64944e06e97d2387b4 (diff) | |
disable precompiled header for makefile plugin
Diffstat (limited to 'xmake/plugins/project/makefile/makefile.lua')
| -rw-r--r-- | xmake/plugins/project/makefile/makefile.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/xmake/plugins/project/makefile/makefile.lua b/xmake/plugins/project/makefile/makefile.lua index d036c7240..f0326e6e2 100644 --- a/xmake/plugins/project/makefile/makefile.lua +++ b/xmake/plugins/project/makefile/makefile.lua @@ -348,6 +348,12 @@ function _make_all(makefile) end makefile:print("") + -- TODO + -- disable precompiled header first + for _, target in pairs(project.targets()) do + target:set("precompiled_header", nil) + end + -- make variables for target flags for targetname, target in pairs(project.targets()) do if not target:isphony() then |