vscode: publish extension if new version. Fix makefile

Alidra · Apr 5, 2024 · 5b88aca · 5b88aca
1 parent 4a62d2b
commit 5b88aca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -178,5 +178,5 @@ publish-vscode-extension:
 ifeq ($(shell vsce show --json deducteam.lambdapi | jq '.versions[0]' | jq '.version'), $(shell cat editors/vscode/package.json | jq '.version'))
 	echo "extension already exists. Skip"
 else
-	make && vsce publish -p ${PAT}
+	cd editors/vscode && make && vsce publish -p ${PAT}
 endif