From 4c623aaa02dd57d702457289bd3f366b7ef5708e Mon Sep 17 00:00:00 2001
From: Abdelghani Alidra <alidrandco@yahoo.fr>
Date: Mon, 13 May 2024 19:53:45 +0200
Subject: [PATCH] Fix test2

---
 Makefile | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index e2b822416..c8bd052e5 100644
--- 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"