diff options
author | 2015-04-07 13:23:31 +0200 | |
---|---|---|
committer | 2015-04-07 13:23:31 +0200 | |
commit | 209734925fc28bf85a3d29fe3da9c8d3f881c6b7 (patch) | |
tree | 3e9f251f05fad6138eb79acc9541f05a293ceed0 /scripts/genie.lua | |
parent | 3991971c8647d2ad7725be0fef3ea1c425583a57 (diff) |
Added FILTER_DEPS option for post compile filtering (nw)
Diffstat (limited to 'scripts/genie.lua')
-rw-r--r-- | scripts/genie.lua | 19 |
1 files changed, 14 insertions, 5 deletions
diff --git a/scripts/genie.lua b/scripts/genie.lua index 293afcc2321..c945dc1068b 100644 --- a/scripts/genie.lua +++ b/scripts/genie.lua @@ -254,6 +254,15 @@ newoption { } } +newoption { + trigger = "FILTER_DEPS", + description = "Filter dependency files.", + allowed = { + { "0", "Disabled" }, + { "1", "Enabled" }, + } +} + if not _OPTIONS["BIGENDIAN"] then _OPTIONS["BIGENDIAN"] = "0" end @@ -350,11 +359,11 @@ else end end -if (AWK~='') then --- postcompiletasks { --- AWK .. " -f ../../../../../scripts/depfilter.awk $(@:%.o=%.d) > $(@:%.o=%.dep)", --- "mv $(@:%.o=%.dep) $(@:%.o=%.d)", --- } +if (_OPTIONS["FILTER_DEPS"]=="1") and (AWK~='') then + postcompiletasks { + AWK .. " -f ../../../../../scripts/depfilter.awk $(@:%.o=%.d) > $(@:%.o=%.dep)", + "mv $(@:%.o=%.dep) $(@:%.o=%.d)", + } end msgcompile ("Compiling $(subst ../,,$<)...") |