# 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
   }