diff options
Diffstat (limited to 'repl')
-rwxr-xr-x | repl | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -22,7 +22,7 @@ function _repl { } # Check -if [ -z "$COMMAND" ]; then +if [ -z "$1" ]; then echo "usage: $BASENAME <command> [base-args]" exit 1 fi |