From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Wed, 3 Jul 2013 04:34:12 +0000 (-0400)
Subject: Add PHONY label to tags targets in Makefile
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=c509edac1c0aa2ebd93ff02fa2dea4f6719d2fd7;p=dyna2

Add PHONY label to tags targets in Makefile
---

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