diff options
Diffstat (limited to 'testsuite/formal/shifts')
-rwxr-xr-x | testsuite/formal/shifts/testsuite.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/formal/shifts/testsuite.sh b/testsuite/formal/shifts/testsuite.sh index eb04217..935e995 100755 --- a/testsuite/formal/shifts/testsuite.sh +++ b/testsuite/formal/shifts/testsuite.sh @@ -8,3 +8,4 @@ for f in lsl lsr asr; do done clean +echo OK |