diff options
Diffstat (limited to 'js/gulpfile.js')
| -rw-r--r-- | js/gulpfile.js | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/js/gulpfile.js b/js/gulpfile.js index d64441934ed..2c4acbcc96f 100644 --- a/js/gulpfile.js +++ b/js/gulpfile.js @@ -111,6 +111,15 @@ function libFiles(name) path.join("lib", name + ".min.js.gz")]; } +function mapFiles(name) +{ + return [ + path.join("lib", name + ".js.map"), + path.join("lib", name + ".js.map.gz"), + path.join("lib", name + ".min.js.map"), + path.join("lib", name + ".min.js.map.gz")]; +} + function libGeneratedFiles(lib, sources) { return sources.slice.map(function(f) @@ -118,6 +127,7 @@ function libGeneratedFiles(lib, sources) return path.join(srcDir(lib), path.basename(f, ".ice") + ".js"); }) .concat(libFiles(lib)) + .concat(mapFiles(lib)) .concat([path.join(srcDir(lib), ".depend", "*")]); } |