Merge branch 'pu'
[jungerl.git] / lib / gtkNode / src / check_otp
blob8614400ba2f0b094e440850d88b62e1336036a49
1 #!/bin/bash
3 if [ "$1" == "-root" -o "$1" == "" ]; then
4 erl -noinput -eval 'io:format("~s~n", [code:root_dir()]), halt(0).'
5 fi
7 if [ "$1" == "-ei" -o "$1" == "" ]; then
8 erl -noinput -eval \
9 'case code:lib_dir("erl_interface") of
10 {error, bad_name} ->
11 io:format("not found~n", []),
12 halt(1);
13 LibDir ->
14 io:format("~s~n", [LibDir]),
15 halt(0)
16 end.'