12 Mar
2012
12 Mar
'12
3:19 p.m.
Most targets used in our Makefile don't refer to files. Use the ".PHONY"
special target to mark these. Doing this prevents us from file name
conflicts and improves performance a bit.
Signed-off-by: Lukas Fleischer