scripts: Allow running with any mes.
[mes.git] / scripts / repl.mes
index ac32000a8b5804d21437457f1faebe61dd692a7c..f14655885c1fda5415f22116dbc8fd96f5dccac7 100755 (executable)
@@ -1,9 +1,10 @@
 #! /bin/sh
 # -*-scheme-*-
-MES_ARENA=${MES_ARENA-20000000}
+MES=${MES-$(dirname $0)/mes}
+MES_ARENA=${MES_ARENA-30000000}
 export MES_ARENA
 prefix=module/
-cat $prefix/mes/base-0.mes $0 /dev/stdin | $(dirname $0)/mes $MES_FLAGS "$@"
+cat $prefix/mes/base-0.mes $0 /dev/stdin | $MES $MES_FLAGS "$@"
 #paredit:|
 exit $?
 !#