From b5046454b47aba598a42d3d775d2ec54dc57c75a Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 28 May 2024 16:05:56 +0200
Subject: ci: Check correctness of the charon pinned commit

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 38da9f7e..b27fe0de 100644
--- a/Makefile
+++ b/Makefile
@@ -90,7 +90,7 @@ update-charon-pin:
 # Keep the commit revision in `./charon-pin` as well so that non-nix users can
 # know which commit to use.
 ./charon-pin: flake.lock
-	nix-shell -p jq --run './scripts/update-charon-pin.sh' >> ./charon-pin
+	./scripts/update-charon-pin.sh >> ./charon-pin
 
 # Checks that `./charon` contains a clone of charon at the required commit.
 # Also checks that `./charon/bin/charon` exists.
-- 
cgit v1.2.3