diff options
Diffstat (limited to '3rdparty/genie/src/base')
-rw-r--r-- | 3rdparty/genie/src/base/api.lua | 1 | ||||
-rw-r--r-- | 3rdparty/genie/src/base/premake.lua | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/3rdparty/genie/src/base/api.lua b/3rdparty/genie/src/base/api.lua index 54ca768298d..a5aa0472f7c 100644 --- a/3rdparty/genie/src/base/api.lua +++ b/3rdparty/genie/src/base/api.lua @@ -838,6 +838,7 @@ end FloatFast = 1, FloatStrict = 1, FullSymbols = 1, + GenerateMapFiles = 1, Hotpatchable = 1, LinkSupportCircularDependencies = 1, Managed = 1, diff --git a/3rdparty/genie/src/base/premake.lua b/3rdparty/genie/src/base/premake.lua index c96ef0f2a2a..a4051427935 100644 --- a/3rdparty/genie/src/base/premake.lua +++ b/3rdparty/genie/src/base/premake.lua @@ -52,7 +52,7 @@ end if delta then - printf("Generating %s...", filename) + printf("Generating %q", filename) local f, err = io.open(filename, "wb") if (not f) then error(err, 0) @@ -67,7 +67,7 @@ premake.stats.num_skipped = premake.stats.num_skipped + 1 end else - printf("Generating %s...", filename) + printf("Generating %q", filename) local f, err = io.open(filename, "wb") if (not f) then |