Remove target after update of ANOD spec

2026-02-12 13:11:07 -08:00 · 2024-10-04 13:33:35 +04:00
parent aca88676f9
commit 5343cc15b1
1 changed files with 0 additions and 2 deletions
--- a/2
+++ b/2
@@ -16,8 +16,6 @@ build-gnatdoc:
 clean:
 	rm -rf .objs bin

-build_tests: build-tests # for compatibility with ANOD specs
-
 build-tests:
 	gprbuild -j0 -p -P gnat/tests/test_drivers.gpr ${SCENARIO_VARIABLES}