diff options
| author | Xiretza <xiretza@xiretza.xyz> | 2020-05-30 13:07:13 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-05-30 15:42:39 +0200 |
| commit | 0b687cd21c5dc7bad4fe49f7d2554d1ddc542d17 (patch) | |
| tree | 3ed7ce1363d3b5af9995f80e62cd130d96e1f20d /testsuite | |
| parent | 8e1a7aac07bdddeec71614574e886c9438848bb2 (diff) | |
| download | ghdl-yosys-plugin-0b687cd21c5dc7bad4fe49f7d2554d1ddc542d17.tar.gz ghdl-yosys-plugin-0b687cd21c5dc7bad4fe49f7d2554d1ddc542d17.tar.bz2 ghdl-yosys-plugin-0b687cd21c5dc7bad4fe49f7d2554d1ddc542d17.zip | |
Fix testsuite failing on second run
Diffstat (limited to 'testsuite')
| -rwxr-xr-x | testsuite/ghdl-issues/issue1309b/testsuite.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |