Add -r argument.

diff --git a/run.sh b/run.sh
index fd3c4cc2361360539abd4b23189c15022fb93216..2aac5b1430addc5bde3042c363af9086ddc37c85 100755 (executable)
--- a/run.sh
+++ b/run.sh
@@ -13,6 +13,12 @@ if [ "$1" = "-n" ]; then
   shift
 fi
 
+if [ "$1" = "-r" ]; then
+  PREARGS="$PREARGS $1 $2"
+  shift
+  shift
+fi
+
 if [ "$1" != "" ]; then
   if [ "$ARGS" != "" ]; then
     echo "Not using default arguments: $ARGS"