# HG changeset patch
# User diego
# Date 1209405464 0
# Node ID 806697d15e5cc5095e050589dbfdb089843560f8
# Parent  fe2f16a7b128775a06a1563dc8e39a6f8daef33f
Mark phony checkheaders target as such.

diff -r fe2f16a7b128 -r 806697d15e5c mpcommon.mak
--- a/mpcommon.mak	Mon Apr 28 17:54:14 2008 +0000
+++ b/mpcommon.mak	Mon Apr 28 17:57:44 2008 +0000
@@ -41,4 +41,4 @@
 ALLHEADERS = $(wildcard *.h)
 checkheaders: $(ALLHEADERS:.h=.ho)
 
-.PHONY: libs *clean dep depend
+.PHONY: checkheaders libs *clean dep depend