diff options
Diffstat (limited to 'js/gulpfile.js')
| -rw-r--r-- | js/gulpfile.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/js/gulpfile.js b/js/gulpfile.js index 34b0c9ec7f4..23f524d7d35 100644 --- a/js/gulpfile.js +++ b/js/gulpfile.js @@ -317,7 +317,7 @@ libs.forEach( gulp.task(generateTask(lib), function(){ return gulp.src(sources.slice.map(sliceFile)) - .pipe(slice2js({args: ["--ice","--icejs"], dest: srcDir(lib)})) + .pipe(slice2js({args: ["--ice"], dest: srcDir(lib)})) .pipe(gulp.dest(srcDir(lib))); }); |