blob: 72cc213975a0c042c2c44bcbc3c66f6921ba3831 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/bin/sh
if [ -z $ERL_LIBS ]; then
L=`pwd`/deps
else
L=`pwd`/deps:$ERL_LIBS
fi
dirs=`echo $L | sed 's/\:/ /g'`
for d in $dirs; do
f=$d/setup/setup_gen
if [ -f $f ]; then
echo "$f"
exit 0
fi
done
|