ref: bc046635d6368a7e81bcc172efb121d54b05ebcd
parent: 3af73a7086c91dd6b94b5407081e4a9c80014a5b
author: Ori Bernstein <ori@eigenstate.org>
date: Wed Jun 8 11:10:04 EDT 2016
Make the build work on linux dash
--- a/test/runtest.sh
+++ b/test/runtest.sh
@@ -73,8 +73,10 @@
B() {
test="$1"; shift
type="$1"; shift
- res="$1"; shift
- if [ $# > 0 ]; then
+ if [ $# -gt 0 ]; then
+ res="$1"; shift
+ fi
+ if [ $# -gt 0 ]; then
args="$1"; shift
fi
echo "test $test <<{!"