* scripts/mescc.mes: Run $MES if set, default to ../scripts/mes.
* scripts/repl.mes: Likewise.
#! /bin/sh
# -*-scheme-*-
+MES=${MES-$(dirname $0)/mes}
prefix=module/
-echo '()' | cat $prefix/mes/base-0.mes $0 /dev/stdin | $(dirname $0)/mes $MES_FLAGS "$@"
+echo '()' | cat $prefix/mes/base-0.mes $0 /dev/stdin | $MES $MES_FLAGS "$@"
#paredit:||
chmod +x a.out
exit $?
#! /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 $?
!#