diff options
Diffstat (limited to 'testsuite/gna/bug16/testsuite.sh')
| -rwxr-xr-x | testsuite/gna/bug16/testsuite.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/testsuite/gna/bug16/testsuite.sh b/testsuite/gna/bug16/testsuite.sh deleted file mode 100755 index 5311492..0000000 --- a/testsuite/gna/bug16/testsuite.sh +++ /dev/null @@ -1,14 +0,0 @@ -#! /bin/sh - -. ../../testenv.sh - -analyze_failure repro.vhdl - -analyze pkg.vhdl -analyze repro1.vhdl -analyze pkg.vhdl -analyze_failure repro2.vhdl - -clean - -echo "Test successful" |