Fix -V flag in lefty scripts

diff --git a/cmd/dotty/dotty.sh b/cmd/dotty/dotty.sh
index 18d98e1217013763ac57998c7e7f035c4d7aaa7f..b3789567df7d5bdab2de22240f6e0ce552652822 100755 (executable)
--- a/cmd/dotty/dotty.sh
+++ b/cmd/dotty/dotty.sh
@@ -3,6 +3,7 @@
 FILES=""
 MLEVEL="0"
 LMODE="async"
+FLAGS=
 
 usage='echo "usage: dotty [-V] [-lm (sync|async)] [-el (0|1)] <filename>"'
 
@@ -85,7 +86,7 @@ if [ ! -f "$leftypath" ]; then
     exit 1
 fi
 
-exec $leftypath -e "
+exec $leftypath $FLAGS -e "
 load ('dotty.lefty');
 checkpath = function () {
     if (tablesize (dotty) > 0)

diff --git a/cmd/lneato/lneato.sh b/cmd/lneato/lneato.sh
index 2de3643edac3e05e0cd81e3eeea627867ae1b431..6b98ef23c03fe7271827dbfed9ac3a687ccbf18f 100755 (executable)
--- a/cmd/lneato/lneato.sh
+++ b/cmd/lneato/lneato.sh
@@ -2,6 +2,7 @@
 FILES=""
 MLEVEL="0"
 LMODE="async"
+FLAGS=
 
 usage="echo usage: lneato [-V] [-lm (sync|async)] [-el (0|1)] <filename>"
 
@@ -80,7 +81,7 @@ do
        CMDS="$CMDS dotty.createviewandgraph($i,'file',null,null);"
 done
 
-lefty -e "
+lefty $FLAGS -e "
 load ('dotty.lefty');
 
 checkpath = function () {