Sakurai/pdf.js
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Stop building any src/ files during the gulp default_preferences task

Browse Source 
With the changes made in the previous patch, the `web/app_options.js` file no longer depends on anything *except* files residing in the `web/` folder. Hence the `gulp default_preferences` task can now be further simplified and thus becomes even faster than before; see also PR 11724.
This commit is contained in:
Jonas Jenwald 2020-03-21 12:53:20 +01:00
parent 18e0b10d3c
commit ebef67b354
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gulpfile.js
View File

@ -563,14 +563,6 @@ gulp.task("default_preferences-pre", function () {
}; };
var preprocessor2 = require("./external/builder/preprocessor2.js"); var preprocessor2 = require("./external/builder/preprocessor2.js");
return merge([ return merge([
gulp.src(
[
"src/{display,shared}/*.js",
"!src/shared/{cffStandardStrings,fonts_utils}.js",
"src/pdf.js",
],
{ base: "src/" }
),
gulp.src(["web/{app_options,viewer_compatibility}.js"], { gulp.src(["web/{app_options,viewer_compatibility}.js"], {
base: ".", base: ".",
}), }),