Searched refs:MFILE (Results 1 – 1 of 1) sorted by relevance
672 MFILE=`echo $START | cut -c${TO_CHOP}-`673 if [ "$MFILE" = "" ] ; then674 MFILE=$DIR/Android.mk676 MFILE=$MFILE/$DIR/Android.mk678 MAKEFILE="$MAKEFILE $MFILE"