From fccb6da5b10c23fb702dfb08d8e1931ee7da0e29 Mon Sep 17 00:00:00 2001
From: Quentin Bourgerie <bourgerie.quentin@gmail.com>
Date: Mon, 7 Nov 2022 15:00:03 +0100
Subject: [PATCH] fix(check-tests): Just run llvm-lit in check_tests
 subdirectory

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

diff --git a/compiler/Makefile b/compiler/Makefile
index d2c2949e6..8b5ec2ed7 100644
--- a/compiler/Makefile
+++ b/compiler/Makefile
@@ -211,7 +211,7 @@ run-tests: run-check-tests run-unit-tests run-end-to-end-tests run-python-tests
 ## check-tests
 
 run-check-tests: concretecompiler file-check not
-	$(BUILD_DIR)/bin/llvm-lit -v tests/
+	$(BUILD_DIR)/bin/llvm-lit -v tests/check_tests
 
 ## unit-tests