diff options
Diffstat (limited to 'extras/mini-os/Makefile')
| -rw-r--r-- | extras/mini-os/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/extras/mini-os/Makefile b/extras/mini-os/Makefile index 75427676e5..26fe5ca8f6 100644 --- a/extras/mini-os/Makefile +++ b/extras/mini-os/Makefile @@ -123,3 +123,7 @@ cscope: tags: $(all_sources) | xargs ctags +.PHONY: TAGS +TAGS: + $(all_sources) | xargs etags + |