Add -f option to make for m, mm and mmm

It lets these shell functions work even if you have some
other makefile at the root of your tree.

Change-Id: Ic84688abd89cc70c062e156f1397296837fb137e
1 file changed