2017-12-08 15:15:20 -05:00
|
|
|
#! /bin/sh
|
|
|
|
|
base=`dirname "$0"`
|
|
|
|
|
roboCommand="$1"
|
2019-08-04 19:21:09 -04:00
|
|
|
if [ $# -eq 0 ]; then
|
|
|
|
|
"$base/vendor/bin/robo"
|
2017-12-19 22:19:34 -05:00
|
|
|
else
|
2019-08-04 19:21:09 -04:00
|
|
|
shift
|
|
|
|
|
ulimit -n 2048
|
|
|
|
|
if [ "$1" = "clean" ]; then
|
|
|
|
|
"$base/vendor/bin/robo" "$roboCommand" "$@"
|
|
|
|
|
else
|
|
|
|
|
"$base/vendor/bin/robo" "$roboCommand" -- "$@"
|
|
|
|
|
fi
|
2019-03-20 22:25:00 -04:00
|
|
|
fi
|
