Lines Matching full:then
72 if [ -z "$ECLIPSE_HOME" ]; then
77 if [ ! -d "$BASE_DIR" ]; then
101 if [ "-i" == "$1" ]; then
109 if [ "-d" == $1 ]; then
116 if [ "-a" == "$1" ]; then
146 if [ -f "$i" ]; then
157 if [ ! -f "$LAUNCHER" ]; then
162 if [ ! -f "$BUILDFILE" ]; then
202 if [ "0" != "$RESULT" ]; then
206 if [ -f "$i" ]; then
220 if [ -n "$ECLIPSE_PID" ] && [ -f "$PID_FILE" ]; then
