diff options
Diffstat (limited to 'testsuite/ghdl-issues/issue1309b/testsuite.sh')
| -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 |