Need to have seed number included in filename, else the faillog files won't be reported at end of test
This commit is contained in:
parent
9ad278bc9e
commit
d1bb7be7d4
1 changed files with 1 additions and 1 deletions
|
@ -29,7 +29,7 @@
|
|||
TESTS=$(wildcard ??-*.csc)
|
||||
TESTLOGS=$(patsubst %.csc,%.testlog,$(TESTS))
|
||||
LOGS=$(patsubst %.csc,%.log,$(TESTS))
|
||||
FAILLOGS=$(patsubst %.csc,%.faillog,$(TESTS))
|
||||
FAILLOGS=$(patsubst %.csc,%.*.faillog,$(TESTS))
|
||||
#Set random seeds to create reproduceable results.
|
||||
RANDOMSEED=1 5
|
||||
|
||||
|
|
Loading…
Reference in a new issue