Makefile: don't use obsolete --report-file option in make check

dylan-lang · Feb 6, 2024 · 8b23dcd · 8b23dcd
1 parent d968135
commit 8b23dcd
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/Makefile.in b/Makefile.in
@@ -380,10 +380,7 @@ TEST_LOADS = $(shell for lib in $(TEST_LIBS); do echo "--load lib$${lib}.@shrext
 check: bootstrap-stage-3
 	@$(BOOTSTRAP_3_ENV) $(FDMAKE) --compiler "$(BOOTSTRAP_3_COMPILER)" \
 	  testworks-run $(TEST_LIBS)
-	$(BOOTSTRAP_3_ROOT)/bin/testworks-run \
-	  --report json \
-	  --report-file $(BOOTSTRAP_3_ROOT)/logs/make-check.json \
-	  $(TEST_LOADS)
+	$(BOOTSTRAP_3_ROOT)/bin/testworks-run $(TEST_LOADS)
 
 check-environment: bootstrap-stage-3
 	@$(BOOTSTRAP_3_ENV) $(FDMAKE) --compiler "$(BOOTSTRAP_3_COMPILER)" \