diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -432,7 +432,7 @@ PHONY += show_gui_make | |||
432 | 432 | ||
433 | tags: force | 433 | tags: 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 | ||
437 | TAGS: force | 437 | TAGS: force |
438 | $(RM) TAGS | 438 | $(RM) TAGS |