<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.26.0">
</HEAD>
<BODY>
On Tue, 2010-11-23 at 11:21 -0800, Dan Nicholson wrote:<BR>
<BLOCKQUOTE TYPE=CITE>
<TT><FONT COLOR="#1a1a1a">That's the point. If you don't make it PHONY, make keeps looking for a</FONT></TT><BR>
<TT><FONT COLOR="#1a1a1a">file called documents to show up. Since we know one will never be</FONT></TT><BR>
<TT><FONT COLOR="#1a1a1a">there, we can tell make not to bother looking. Look at all the things</FONT></TT><BR>
<TT><FONT COLOR="#1a1a1a">automake declares as PHONY.</FONT></TT><BR>
<BR>
<TT><FONT COLOR="#1a1a1a">.PHONY: $(RECURSIVE_CLEAN_TARGETS) $(RECURSIVE_TARGETS) CTAGS GTAGS \</FONT></TT><BR>
<TT><FONT COLOR="#1a1a1a"> all all-am am--refresh check check-am clean clean-generic \</FONT></TT><BR>
<BR>
</BLOCKQUOTE>
Correct, I read about that afterwards. Make will perform better as there is no need<BR>
to locate a file and check time stamp and so on. To be nice to make, "lint"<BR>
should also be listed in .PHONY.
</BODY>
</HTML>