Fix gulp build_server location isue. (#138)

This commit is contained in:
Yaohai Zheng 2017-11-08 13:44:51 +08:00 committed by GitHub
parent 22a43deab7
commit ae5d58ec45
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 1 additions and 17 deletions

View File

@ -1,7 +1,6 @@
const gulp = require("gulp");
const cp = require('child_process');
const tslint = require("gulp-tslint");
const copy = require("gulp-copy");
const server_dir = '../java-debug';
@ -17,10 +16,7 @@ gulp.task('build_server', () => {
stdio: [0, 1, 2]
});
gulp.src(server_dir + '/com.microsoft.java.debug.plugin/target/com.microsoft.java.debug.*.jar')
.pipe(copy('./server', {
prefix: 4
}))
.pipe(gulp.dest('.'));
.pipe(gulp.dest('./server'));
});
function isWin() {

11
package-lock.json generated
View File

@ -1203,17 +1203,6 @@
"through2": "2.0.3"
}
},
"gulp-copy": {
"version": "1.0.1",
"resolved": "https://registry.npmjs.org/gulp-copy/-/gulp-copy-1.0.1.tgz",
"integrity": "sha1-93c724Ab5Mj5EjtXW48zun2x+d8=",
"dev": true,
"requires": {
"gulp": "3.9.1",
"gulp-util": "3.0.8",
"through2": "2.0.3"
}
},
"gulp-filter": {
"version": "5.0.1",
"resolved": "https://registry.npmjs.org/gulp-filter/-/gulp-filter-5.0.1.tgz",

View File

@ -213,7 +213,6 @@
"@types/mocha": "^2.2.32",
"@types/node": "^6.0.40",
"gulp": "^3.9.1",
"gulp-copy": "^1.0.1",
"gulp-tslint": "^8.1.2",
"mocha": "^2.3.3",
"tslint": "^5.7.0",