diff options
author | Oliver Schneider <oliver@assarbad.net> | 2017-11-20 23:43:25 +0300 |
---|---|---|
committer | Oliver Schneider <oliver@assarbad.net> | 2017-11-20 23:43:25 +0300 |
commit | 916f7162919565c9dfce0fc8e90f8cb7ab283c6d (patch) | |
tree | a15d19383da005136d8f0cef9ab67e70875f8f91 /premake4.lua | |
parent | c7f9ce9698fd0ff23da40b5d823616d918f0ad63 (diff) |
Minor cleanup
And another fix to premake4.lua and subsequently the one affected project
Diffstat (limited to 'premake4.lua')
-rw-r--r-- | premake4.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/premake4.lua b/premake4.lua index 146f6ea..3010bd8 100644 --- a/premake4.lua +++ b/premake4.lua @@ -142,7 +142,7 @@ do local captured = io.endcapture()
local indent = io.indent .. io.indent .. io.indent
assert(io.indent ~= nil, "io.indent must not be nil at this point!")
- captured = captured:gsub("(</GenerateDebugInformation>)", "%1\n" .. string.format("%s<FullProgramDatabaseFile>%s</FullProgramDatabaseFile>", indent, tostring(cfg.flags.Symbols ~= nil)))
+ captured = captured:gsub("true(</GenerateDebugInformation>)", "DebugFull%1\n" .. string.format("%s<FullProgramDatabaseFile>%s</FullProgramDatabaseFile>", indent, tostring(cfg.flags.Symbols ~= nil)))
if old_captured ~= nil then
io.captured = old_captured .. captured -- restore outer captured state, if any
else
|