Searched refs:MFILE (Results 1 – 1 of 1) sorted by relevance
758 local MFILE=`echo $START | cut -c${TO_CHOP}-`759 if [ "$MFILE" = "" ] ; then760 MFILE=$DIR/Android.mk762 MFILE=$MFILE/$DIR/Android.mk764 MAKEFILE="$MAKEFILE $MFILE"