# HG changeset patch # User wenzelm # Date 1498821707 -7200 # Node ID 406b5ae7f5f3661ff754ddfcaaeff93156db60be # Parent ae814012b95f19576a35e382d588519561cb1414 more robust: always package; diff -r ae814012b95f -r 406b5ae7f5f3 src/Tools/VSCode/src/build_vscode.scala --- a/src/Tools/VSCode/src/build_vscode.scala Fri Jun 30 13:19:24 2017 +0200 +++ b/src/Tools/VSCode/src/build_vscode.scala Fri Jun 30 13:21:47 2017 +0200 @@ -36,7 +36,7 @@ progress.echo(output_path.implode) progress.bash( - "npm install && npm update --dev && vsce " + (if (publish) "publish" else "package"), + "npm install && npm update --dev && vsce package" + (if (publish) " && vsce publish" else ""), cwd = extension_dir.file, echo = true).check }