fi
if [ ! -z "$ECLIPSE_DIR" ]; then
e="$ECLIPSE_DIR"
if [ ! -z "$(uname -a | grep -i cygwin)" ]; then
e=$(echo $e | sed -e 's/^\(.\):/\/cygdrive\/\1/')
fi
fi
if [ ! -z "$ECLIPSE_DIR" ]; then
e="$ECLIPSE_DIR"
if [ ! -z "$(uname -a | grep -i cygwin)" ]; then
e=$(echo $e | sed -e 's/^\(.\):/\/cygdrive\/\1/')
fi