From d24cb9bc323241668fb12e1b62b90cad917555c7 Mon Sep 17 00:00:00 2001 From: Yann Dirson Date: Tue, 23 Jan 2024 18:15:27 +0100 Subject: [PATCH] Remove now-unused PY_TEST guard Reported-by: Pau Ruiz Safont Signed-off-by: Yann Dirson --- Makefile | 2 -- 1 file changed, 2 deletions(-) diff --git a/Makefile b/Makefile index 4d155619a57..a24a4b2a7c0 100644 --- a/Makefile +++ b/Makefile @@ -30,9 +30,7 @@ lint: test: dune runtest --profile=$(PROFILE) --error-reporting=twice -j $(JOBS) -ifneq ($(PY_TEST), NO) dune build @runtest-python --profile=$(PROFILE) -endif stresstest: dune build @stresstest --profile=$(PROFILE) --no-buffer -j $(JOBS)