scripts: Allow running with any mes.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 26 Mar 2017 20:09:24 +0000 (22:09 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sun, 26 Mar 2017 20:09:24 +0000 (22:09 +0200)
commita226588a5e00b34b3b081b22b7da886b4f39d8d0
treea1b363d75a1f13e4f4828b8a9473f6987c673020
parent773efafd8f8da31e63e190a280947fce020b349c
scripts: Allow running with any mes.

* scripts/mescc.mes: Run $MES if set, default to ../scripts/mes.
* scripts/repl.mes: Likewise.
scripts/mescc.mes
scripts/repl.mes