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 |
