Fix test2

Alidra · May 13, 2024 · 4c623aa · 4c623aa
1 parent 2c003d6
commit 4c623aa
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/Makefile b/Makefile
@@ -185,8 +185,4 @@ EXT = $(shell vsce show --json deducteam.lambdapi 2>/dev/null | jq '.versions[0]
 
 .PHONY: publish-vscode-extension
 publish-vscode-extension:
-ifeq ($(EXT), $(shell cat editors/vscode/package.json | jq '.version'))
-	echo "extension already exists. Skip"
-else
-	echo "hihi"
-endif
+echo "hihi"