From 0b687cd21c5dc7bad4fe49f7d2554d1ddc542d17 Mon Sep 17 00:00:00 2001 From: Xiretza Date: Sat, 30 May 2020 13:07:13 +0200 Subject: Fix testsuite failing on second run --- testsuite/ghdl-issues/issue1309b/testsuite.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/testsuite/ghdl-issues/issue1309b/testsuite.sh b/testsuite/ghdl-issues/issue1309b/testsuite.sh index 43912d5..7b3d2d9 100755 --- a/testsuite/ghdl-issues/issue1309b/testsuite.sh +++ b/testsuite/ghdl-issues/issue1309b/testsuite.sh @@ -3,7 +3,7 @@ topdir=../.. . $topdir/testenv.sh -run_symbiyosys -d work/psl_test psl_test.sby prove +run_symbiyosys -fd work/psl_test psl_test.sby prove clean echo OK -- cgit v1.2.3