reftest: add a target 'quick-reftest' to launch only tests with N0REP0

ocaml · Aug 9, 2024 · cf858c5 · cf858c5
1 parent fb97ae4
commit cf858c5
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -237,7 +237,11 @@ reftest-runner: $(DUNE_DEP) src/client/no-git-version
 	$(DUNE) build $(DUNE_ARGS) $(DUNE_PROFILE_ARG) --root . tests/reftests/run.exe
 
 reftests: $(DUNE_DEP) src/client/no-git-version
-	@$(DUNE) build $(DUNE_ARGS) $(DUNE_PROFILE_ARG) --root . @reftest; \
+	@ $(DUNE) build $(DUNE_ARGS) $(DUNE_PROFILE_ARG) --root . @reftest; \
+	$(tests-summary)
+
+quick-reftests: $(DUNE_DEP) src/client/no-git-version
+	@ TESTALL=0 TESTN0REP0=1 $(DUNE) build $(DUNE_ARGS) $(DUNE_PROFILE_ARG) --root . @reftest; \
 	$(tests-summary)
 
 reftest-%: $(DUNE_DEP) src/client/no-git-version