build: remove the tools folder (#24880)

This commit is contained in:
Samuel Attard 2020-08-07 14:13:09 -07:00 committed by GitHub
parent b0ea1e14e1
commit 433956ce4f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 19 additions and 19 deletions

17
script/run-if-exists.js Normal file
View file

@ -0,0 +1,17 @@
const cp = require('child_process');
const fs = require('fs');
const checkPath = process.argv[2];
const command = process.argv.slice(3);
if (fs.existsSync(checkPath)) {
const child = cp.spawn(
`${command[0]}${process.platform === 'win32' ? '.cmd' : ''}`,
command.slice(1),
{
stdio: 'inherit',
cwd: checkPath
}
);
child.on('exit', code => process.exit(code));
}