diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-12-20 21:08:55 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-12-20 21:08:55 +0100 |
| commit | 84490e821deee16fe8155df2b9328c23d953c4fb (patch) | |
| tree | fd5375aecd92a64c156191fc3293a414184af06e /testsuite/gna/ticket30 | |
| parent | c3ed5c426b8be1144574b9e33135450cf6ceab1a (diff) | |
| download | ghdl-84490e821deee16fe8155df2b9328c23d953c4fb.tar.gz ghdl-84490e821deee16fe8155df2b9328c23d953c4fb.tar.bz2 ghdl-84490e821deee16fe8155df2b9328c23d953c4fb.zip | |
testsuite/gna: adjust for windows.
Diffstat (limited to 'testsuite/gna/ticket30')
| -rwxr-xr-x | testsuite/gna/ticket30/testsuite.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/gna/ticket30/testsuite.sh b/testsuite/gna/ticket30/testsuite.sh index 0d33bb257..dd6d640a6 100755 --- a/testsuite/gna/ticket30/testsuite.sh +++ b/testsuite/gna/ticket30/testsuite.sh @@ -2,7 +2,9 @@ . ../../testenv.sh -if ! "$GHDL" --dir ieee | grep -q vital; then +# Don't use grep -q, doesn't work on windows. + +if ! "$GHDL" --dir ieee | grep vital > /dev/null; then echo "No vital libraries, skipping" exit 0 fi |