2018-04-23 14:21:25 -04:00
|
|
|
#! /bin/sh
|
|
|
|
|
base=`dirname "$0"`
|
|
|
|
|
roboCommand="$1"
|
2019-12-13 09:22:12 -05:00
|
|
|
if [ $# -eq 0 ]; then
|
|
|
|
|
"$base/vendor/bin/robo"
|
2018-04-23 14:21:25 -04:00
|
|
|
else
|
2019-12-13 09:22:12 -05:00
|
|
|
shift
|
|
|
|
|
ulimit -n 2048
|
|
|
|
|
if [ "$1" = "clean" ]; then
|
|
|
|
|
"$base/vendor/bin/robo" "$roboCommand" "$@"
|
|
|
|
|
else
|
|
|
|
|
"$base/vendor/bin/robo" "$roboCommand" -- "$@"
|
|
|
|
|
fi
|
|
|
|
|
fi
|
