Merge pull request #8130 from Snuffleupagus/gulp-lib-rm-web-compatibi…

…lity Don't include `web/compatibility.js` in the output for `gulp lib` (PR 8120 follow-up)
mozilla · Mar 4, 2017 · 754c4bd · 754c4bd
2 parents 4e3e97b + af44ef1
commit 754c4bd
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/gulpfile.js b/gulpfile.js
@@ -954,7 +954,11 @@ gulp.task('lib', ['buildnumber'], function () {
       'src/shared/{compatibility,util}.js',
       'src/{pdf,pdf.worker}.js',
     ], {base: 'src/'}),
-    gulp.src(['web/*.js', '!web/viewer.js'], {base: '.'}),
+    gulp.src([
+      'web/*.js',
+      '!web/viewer.js',
+      '!web/compatibility.js',
+    ], {base: '.'}),
     gulp.src('test/unit/*.js', {base: '.'}),
   ]).pipe(transform(preprocess))
     .pipe(gulp.dest('build/lib/'));