diff options
author | 2016-01-27 08:35:08 +0100 | |
---|---|---|
committer | 2016-01-27 08:35:08 +0100 | |
commit | 0d1e14b771ed72d8e9a0d42fd05ebfe6fe63016a (patch) | |
tree | 10258b6f255e00e7eec2ec30112d6de07015c475 /scripts/src/devices.lua | |
parent | 8d5848718c30a960d07d569937cb1678f75f0463 (diff) | |
parent | b1d6f6d63f8294a3f62d7db6f9eea07da1d93664 (diff) |
Merge pull request #10 from mamedev/master
Sync to base master
Diffstat (limited to 'scripts/src/devices.lua')
-rw-r--r-- | scripts/src/devices.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/src/devices.lua b/scripts/src/devices.lua index 05e8810f2df..15e53a17cfb 100644 --- a/scripts/src/devices.lua +++ b/scripts/src/devices.lua @@ -24,6 +24,7 @@ function devicesProject(_target, _subtarget) } addprojectflags() + precompiledheaders() includedirs { MAME_DIR .. "src/osd", @@ -62,6 +63,7 @@ if (_OPTIONS["SOURCES"] == nil) then kind (LIBTYPE) targetsubdir(_target .."_" .. _subtarget) addprojectflags() + precompiledheaders() options { "ArchiveSplit", } @@ -100,6 +102,7 @@ if #disasm_files > 0 then kind (LIBTYPE) targetsubdir(_target .."_" .. _subtarget) addprojectflags() + precompiledheaders() includedirs { MAME_DIR .. "src/osd", |