Skip to content

Commit

Permalink
Set encoding as false for gulp.src to treat content as binary.
Browse files Browse the repository at this point in the history
Signed-off-by: Roland Grunberg <rgrunber@redhat.com>
  • Loading branch information
rgrunber committed May 3, 2024
1 parent 890fbb0 commit e72d002
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions gulpfile.js
Original file line number Diff line number Diff line change
Expand Up @@ -25,24 +25,24 @@ const microprofileSite = 'org.eclipse.lsp4mp.jdt.site';

gulp.task('buildServer', (done) => {
cp.execSync(mvnw() + ' clean install -B -DskipTests', { cwd: microprofileServerDir , stdio: 'inherit' });
gulp.src(microprofileServerDir + '/target/' + microprofileServerName)
gulp.src(microprofileServerDir + '/target/' + microprofileServerName, { encoding: false })
.pipe(gulp.dest('./server'));
done();
});

gulp.task('buildExtension', (done) => {
cp.execSync(mvnw() + ' clean verify -B -DskipTests', { cwd: microprofileExtensionDir, stdio: 'inherit' });
gulp.src(microprofileExtensionDir + '/' + microprofileExtension + '/target/' + microprofileExtension + '-!(*sources).jar')
gulp.src(microprofileExtensionDir + '/' + microprofileExtension + '/target/' + microprofileExtension + '-!(*sources).jar', { encoding: false })
.pipe(rename(microprofileExtension + '.jar'))
.pipe(gulp.dest('./jars'));
gulp.src(microprofileExtensionDir + '/' + microprofileSite + '/target/repository/plugins/wrapped*.jar')
gulp.src(microprofileExtensionDir + '/' + microprofileSite + '/target/repository/plugins/wrapped*.jar', { encoding: false })
.pipe(rename(function (path, _file) {
const patt = /wrapped\.([^_]+).*/;
const result = path.basename.match(patt);
path.basename = result[1];
}))
.pipe(gulp.dest('./jars'));
gulp.src(microprofileExtensionDir + '/' + microprofileSite + '/target/repository/plugins/org.jboss.logging*.jar')
gulp.src(microprofileExtensionDir + '/' + microprofileSite + '/target/repository/plugins/org.jboss.logging*.jar', { encoding: false })
.pipe(rename(function (path, _file) {
const patt = /([^_]+).*/;
const result = path.basename.match(patt);
Expand Down

0 comments on commit e72d002

Please sign in to comment.