diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2018-10-17 18:18:09 +0200 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-10-17 18:18:46 +0200 |
| commit | 21b42cdffcb5b24bf467ecf2b74adea47bbdc393 (patch) | |
| tree | 5794a304e60e2060a34a6eaa076230c71de2001e /debian/patches/0012-Skip-non-deterministic-test-causing-random-FTBFS-on-.patch | |
| parent | 42942203476b47ac8ec62671e4c133b7c7fceab3 (diff) | |
| parent | 0b254e3191dbed4a29ee37c5ae7cfcf8d723fbb2 (diff) | |
Merge branch 'next'
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 | 4 |
1 files changed, 2 insertions, 2 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 index cdeccca8..18ba0e17 100644 --- 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 @@ -8,10 +8,10 @@ Subject: Skip non-deterministic test causing random FTBFS on some 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile -index 2d4a1ff..f277f11 100644 +index 5c381ff..b169eb7 100644 --- a/Makefile +++ b/Makefile -@@ -417,7 +417,7 @@ test: $(TARGETS) $(EXTRA_TARGETS) +@@ -566,7 +566,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) |