diff options
Diffstat (limited to 'debian/patches/0012-Skip-non-deterministic-test-causing-random-FTBFS-on-.patch')
| -rw-r--r-- | debian/patches/0012-Skip-non-deterministic-test-causing-random-FTBFS-on-.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/debian/patches/0012-Skip-non-deterministic-test-causing-random-FTBFS-on-.patch b/debian/patches/0012-Skip-non-deterministic-test-causing-random-FTBFS-on-.patch new file mode 100644 index 00000000..cdeccca8 --- /dev/null +++ b/debian/patches/0012-Skip-non-deterministic-test-causing-random-FTBFS-on-.patch @@ -0,0 +1,22 @@ +From: Ruben Undheim <ruben.undheim@gmail.com> +Date: Tue, 4 Sep 2018 19:59:05 +0200 +Subject: Skip non-deterministic test causing random FTBFS on some + architectures + +--- + Makefile | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/Makefile b/Makefile +index 2d4a1ff..f277f11 100644 +--- a/Makefile ++++ b/Makefile +@@ -417,7 +417,7 @@ test: $(TARGETS) $(EXTRA_TARGETS) + +cd tests/simple && bash run-test.sh $(SEEDOPT) + +cd tests/hana && bash run-test.sh $(SEEDOPT) + +cd tests/asicworld && bash run-test.sh $(SEEDOPT) +- +cd tests/realmath && bash run-test.sh $(SEEDOPT) ++ #+cd tests/realmath && bash run-test.sh $(SEEDOPT) + +cd tests/share && bash run-test.sh $(SEEDOPT) + +cd tests/fsm && bash run-test.sh $(SEEDOPT) + +cd tests/techmap && bash run-test.sh |