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