Always regenerate the gnattest harness just to be sure it always works

This commit is contained in:
R. Tyler Croy 2019-01-06 12:37:50 -08:00
parent d73bb4d269
commit 5e8b1cad12
No known key found for this signature in database
GPG Key ID: E5C92681BEF6CEA2
1 changed files with 1 additions and 4 deletions

View File

@ -22,10 +22,7 @@ acceptance: build ## Run the Python-based acceptance tests (see acceptance/)
clean: ## Remove all temporary files not tracked by Git
git clean -xf
prepare-test-harness: ## Compile the GNATtest test harness
if [ ! -d $(GNATTEST_HARNESS_DIR) ]; then \
$(MAKE) regenerate-test-harness; \
fi;
prepare-test-harness: regenerate-test-harness ## Compile the GNATtest test harness
(cd $(GNATTEST_HARNESS_DIR) && gprbuild -Ptest_driver.gpr $(GPRFLAGS) )
regenerate-test-harness: ## Regenerate the GNATtest test harness from the sources