aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 564af66..54a8b29 100644
--- a/Makefile
+++ b/Makefile
@@ -432,7 +432,7 @@ PHONY += show_gui_make
432 432
433tags: force 433tags: force
434 $(RM) tags 434 $(RM) tags
435 find . -name '*.[ch]' | xargs ctags 435 find . -name '*.[ch]' | xargs ctags --extra=+f --c-kinds=+px
436 436
437TAGS: force 437TAGS: force
438 $(RM) TAGS 438 $(RM) TAGS