]> hydra-www.ietfng.org Git - dyna2/commitdiff
projects / dyna2 / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 926c269)
Add PHONY label to tags targets in Makefile
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Wed, 3 Jul 2013 04:34:12 +0000 (00:34 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Wed, 3 Jul 2013 04:34:12 +0000 (00:34 -0400)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index 70022d047d0107ffc88d7668be115e197d54e3a5..1dd05aeb727bef43bf7e7e9312fa3dde04775763 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -102,5 +102,6 @@ profbuild:
                 -outputdir dist/pb \
                 -main-is $(MAINMOD) $(MAINFILE)
 
+.PHONY: tags TAGS
 tags TAGS:
        hasktags -b src