summaryrefslogtreecommitdiffstatshomepage
path: root/3rdparty/genie/src/base
diff options
context:
space:
mode:
Diffstat (limited to '3rdparty/genie/src/base')
-rw-r--r--3rdparty/genie/src/base/api.lua1
-rw-r--r--3rdparty/genie/src/base/premake.lua4
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