diff options
Diffstat (limited to 'extras/mini-os/Makefile')
-rw-r--r-- | extras/mini-os/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/extras/mini-os/Makefile b/extras/mini-os/Makefile index 9bc4eb37f9..a389bc5d03 100644 --- a/extras/mini-os/Makefile +++ b/extras/mini-os/Makefile @@ -122,6 +122,7 @@ clean: rm -f *.o *~ core $(TARGET).elf $(TARGET).raw $(TARGET) $(TARGET).gz rm -f libminios.a find . -type l | xargs rm -f + rm -f tags TAGS %.o: %.c $(HDRS) Makefile $(CC) $(CFLAGS) $(CPPFLAGS) -c $< -o $@ @@ -137,4 +138,7 @@ endef cscope: $(all_sources) > cscope.files cscope -k -b -q - + +.PHONY: tags +tags: + $(all_sources) | xargs ctags |