From 0139bd10cf52e00730b1b1d49a32c715c083a034 Mon Sep 17 00:00:00 2001 From: Vincenzo Palazzo Date: Sat, 30 Dec 2023 11:31:52 +0100 Subject: [PATCH] build: add make setup This is helping us to keep everything in sync. Maybe we should update also the docs somewhere Signed-off-by: Vincenzo Palazzo --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index 123815c8..2350e001 100644 --- a/Makefile +++ b/Makefile @@ -33,3 +33,6 @@ install: integration: default $(CC) test -j 4 -p tests $(ARGS) + +setup: + ln -sf contrib/pre-commit .git/hooks/