diff options
| -rwxr-xr-x | tools/configure | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 4222b79..cebfe50 100755 --- a/tools/configure +++ b/tools/configure @@ -308,6 +308,15 @@ clean-apps: clean: \$(MAKE) clean-firmware clean-apps +tags-firmware: + \$(MAKE) -C \$(FIRMDIR) TARGET=\$(TARGET) OBJDIR=\$(THISDIR) tags + +tags-apps: + \$(MAKE) -C \$(APPSDIR) TARGET=\$(TARGET) OBJDIR=\$(THISDIR) tags + +tags: + @rm -f TAGS + \$(MAKE) tags-firmware tags-apps EOF echo "Created Makefile" |