Searched refs:MFILE (Results 1 – 1 of 1) sorted by relevance
747 local MFILE=`echo $START | cut -c${TO_CHOP}-`748 if [ "$MFILE" = "" ] ; then749 MFILE=$DIR/Android.mk751 MFILE=$MFILE/$DIR/Android.mk753 MAKEFILE="$MAKEFILE $MFILE"