diff options
author | Dan Nicholson <[email protected]> | 2008-05-06 11:52:34 -0700 |
---|---|---|
committer | Dan Nicholson <[email protected]> | 2008-05-06 11:52:34 -0700 |
commit | 50f7e6fb5f0754093e11b781b916034001d44a09 (patch) | |
tree | f22faff7b992d40e370e95a677531bf5529529d2 /src | |
parent | e14ebbce41c8acee5f77633c6c536d92f84a5c20 (diff) |
Add .PHONY targets to top Makefile for non-file targets
When a make target doesn't result in a file of the same name, adding it
to a .PHONY target means make won't look for such a file, speeding the
build up a bit. This allows `make doxygen' to work since otherwise make
will consider the doxygen directory as up to date.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions