Add build task

runtimeverification · May 27, 2024 · b914c8c · b914c8c
1 parent 8bfc301
commit b914c8c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/package.json b/package.json
@@ -175,6 +175,7 @@
     ]
   },
   "scripts": {
+    "build": "npm run vscode:prepublish",
     "vscode:prepublish": "npm run esbuild-base -- --minify && npm run esbuild-base-web -- --minify",
     "esbuild-base": "esbuild ./src/extension.ts     --bundle --outfile=build/extension.js     --external:vscode --format=cjs --platform=node",
     "esbuild-base-web": "esbuild ./src/extension.web.ts --bundle --outfile=build/extension.web.js --external:vscode --format=esm --platform=browser",