Shift typo.

(cherry picked from commit 318c4fedfc)
This commit is contained in:
Eli Barzilay 2011-07-14 12:13:37 -04:00
parent 533293c666
commit a606c3a988

View File

@ -2,7 +2,7 @@
run() {
exe="gracket"
if [ "x$1" = "x-t" ]; then exe="racket"; fi
if [ "x$1" = "x-t" ]; then exe="racket"; shift; fi
"$exe" "$1"
echo "done:--- $1 ---"
echo ""