Searched refs:MFILE (Results 1 – 1 of 1) sorted by relevance
738 local MFILE=`echo $START | cut -c${TO_CHOP}-`739 if [ "$MFILE" = "" ] ; then740 MFILE=$DIR/Android.mk742 MFILE=$MFILE/$DIR/Android.mk744 MAKEFILE="$MAKEFILE $MFILE"