From: Brian Norris <banorris@uci.edu>
Date: Fri, 9 Mar 2012 00:03:45 +0000 (-0800)
Subject: add "make tags" (using `ctags`)
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=cc9c5da29ab0f75dcb15a04099df097f3eac8e60;p=c11tester.git

add "make tags" (using `ctags`)
---

diff --git a/.gitignore b/.gitignore
index 379c7d67..66dc45e0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@
 
 # files in this directory
 /libthreads
+/tags
diff --git a/Makefile b/Makefile
index 1867a444..becb998b 100644
--- a/Makefile
+++ b/Makefile
@@ -10,3 +10,6 @@ ${BIN}: ${SOURCE} ${HEADERS}
 
 clean:
 	rm -f ${BIN} *.o
+
+tags::
+	ctags -R