diff --git a/robo b/robo index d6af8dfa..0b3be08f 100755 --- a/robo +++ b/robo @@ -1,8 +1,9 @@ #! /bin/sh base=`dirname "$0"` roboCommand="$1" - shift + +ulimit -n 2048 if [ "$1" = "clean" ]; then "$base/vendor/bin/robo" "$roboCommand" $* else