3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-06 14:24:08 +00:00

Merge pull request #139 from nakengelhardt/housekeeping

housekeeping
This commit is contained in:
N. Engelhardt 2022-03-15 16:06:52 +01:00 committed by GitHub
commit b14270bedb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 2 deletions

3
tests/.gitignore vendored
View file

@ -7,3 +7,6 @@
/prv32fmcmp*/
/redxor*/
/stopfirst*/
/junit_*/
/submod_props*/
/multi_assert*/

View file

@ -6,8 +6,6 @@ junit_timeout_error_timeout junit_timeout_error_syntax junit_timeout_error_solve
.PHONY: test validate_junit
FORCE:
test: $(JUNIT_TESTS)
test_%: %.sby FORCE
@ -15,3 +13,5 @@ test_%: %.sby FORCE
$(JUNIT_TESTS): $(SBY_TESTS)
python3 validate_junit.py $@/$@.xml
FORCE: