Searched refs:MFILE (Results 1 – 1 of 1) sorted by relevance
817 local MFILE=`echo $START | cut -c${TO_CHOP}-`818 if [ "$MFILE" = "" ] ; then819 MFILE=$DIR/Android.mk821 MFILE=$MFILE/$DIR/Android.mk823 MAKEFILE="$MAKEFILE $MFILE"