diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2016-11-03 23:18:00 +0100 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2016-11-03 23:18:00 +0100 |
commit | fefe0fc0430f4f173a25e674708aa0f4f0854b31 (patch) | |
tree | adb13b830212c269d58031f900d652f29013d2d7 /tests/tools | |
parent | 4f096fe65b77435daba019248273e547fa18d167 (diff) |
Imported yosys 0.7
Diffstat (limited to 'tests/tools')
-rw-r--r-- | tests/tools/autotest.mk | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tests/tools/autotest.mk b/tests/tools/autotest.mk index f65002ce..c6867892 100644 --- a/tests/tools/autotest.mk +++ b/tests/tools/autotest.mk @@ -1,8 +1,13 @@ EXTRA_FLAGS= +SEED= + +ifneq ($(strip $(SEED)),) +SEEDOPT=-S$(SEED) +endif $(MAKECMDGOALS): - @$(basename $(MAKEFILE_LIST)).sh -G -j $(EXTRA_FLAGS) $@ + @$(basename $(MAKEFILE_LIST)).sh -G -j $(SEEDOPT) $(EXTRA_FLAGS) $@ .PHONY: $(MAKECMDGOALS) |