diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2019-01-08 16:35:32 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2019-01-08 16:35:51 -0800 |
| commit | 1d2bd858fd7479bc672bc0e1be77f30c63f85b0c (patch) | |
| tree | bc0261091bd95f59f48b3a67eaa21d5e55eb752a /nomsu_environment.lua | |
| parent | fc1655e028a93290f5d6a6e99cec56fa9dbaf0bb (diff) | |
Made the source mapping optional (and disabled with -O2+)
Diffstat (limited to 'nomsu_environment.lua')
| -rw-r--r-- | nomsu_environment.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nomsu_environment.lua b/nomsu_environment.lua index 51100fc..13225c0 100644 --- a/nomsu_environment.lua +++ b/nomsu_environment.lua @@ -255,7 +255,7 @@ local nomsu_environment = Importer({ error("Failed to compile generated code:\n\027[1;34m" .. tostring(line_numbered_lua) .. "\027[0m\n\n" .. tostring(err), 0) end local source_key = tostring(source) - if not (environment.SOURCE_MAP[source_key]) then + if not (environment.SOURCE_MAP[source_key] or environment.OPTIMIZATION >= 2) then local map = { } local file = Files.read(source.filename) if not file then |