blob: cbb521ff2f2dea0fbc22a12ad489d12a7c3666a4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/bin/sh
BASEDIR=%BASEDIR%
SLANG_EBIN_DIR=${BASEDIR}/../slang/ebin
erl -pa ${SLANG_EBIN_DIR} -pa ${BASEDIR}/ebin -pa ${BASEDIR}/mods/ebin \
-pa ${BASEDIR}/../msc/ebin -noshell -s edit start $*
# How do I get sh to run this in response to SIGINT?
stty sane
|