J. King
5 years ago
3 changed files with 10 additions and 7 deletions
@ -1,11 +1,14 @@ |
|||||
#! /bin/sh |
#! /bin/sh |
||||
base=`dirname "$0"` |
base=`dirname "$0"` |
||||
roboCommand="$1" |
roboCommand="$1" |
||||
shift |
if [ $# -eq 0 ]; then |
||||
|
"$base/vendor/bin/robo" |
||||
ulimit -n 2048 |
|
||||
if [ "$1" = "clean" ]; then |
|
||||
"$base/vendor/bin/robo" "$roboCommand" "$@" |
|
||||
else |
else |
||||
"$base/vendor/bin/robo" "$roboCommand" -- "$@" |
shift |
||||
|
ulimit -n 2048 |
||||
|
if [ "$1" = "clean" ]; then |
||||
|
"$base/vendor/bin/robo" "$roboCommand" "$@" |
||||
|
else |
||||
|
"$base/vendor/bin/robo" "$roboCommand" -- "$@" |
||||
|
fi |
||||
fi |
fi |
||||
|
Loading…
Reference in new issue