Change the name of the generated pdf.sandbox.external for mozilla-central
This patch is blocking https://phabricator.services.mozilla.com/D148600.
This commit is contained in:
parent
7761d2bf95
commit
7b37af7eb4
15
gulpfile.js
15
gulpfile.js
@ -393,12 +393,15 @@ function createSandboxExternal(defines) {
|
||||
saveComments: false,
|
||||
defines,
|
||||
};
|
||||
return gulp.src("./src/pdf.sandbox.external.js").pipe(
|
||||
transform("utf8", content => {
|
||||
content = preprocessor2.preprocessPDFJSCode(ctx, content);
|
||||
return `${licenseHeader}\n${content}`;
|
||||
})
|
||||
);
|
||||
return gulp
|
||||
.src("./src/pdf.sandbox.external.js")
|
||||
.pipe(
|
||||
transform("utf8", content => {
|
||||
content = preprocessor2.preprocessPDFJSCode(ctx, content);
|
||||
return `${licenseHeader}\n${content}`;
|
||||
})
|
||||
)
|
||||
.pipe(rename("pdf.sandbox.external.jsm"));
|
||||
}
|
||||
|
||||
function createTemporaryScriptingBundle(defines, extraOptions = undefined) {
|
||||
|
Loading…
Reference in New Issue
Block a user