Searched refs:TOPFILE (Results 1 – 1 of 1) sorted by relevance
12 TOPFILE=config/envsetup.make13 if [ -n "$TOP" -a -f "$TOP/$TOPFILE" ] ; then16 if [ -f $TOPFILE ] ; then21 while [ \( ! \( -f $TOPFILE \) \) -a \( $PWD != "/" \) ]; do26 if [ -f "$T/$TOPFILE" ]; then