diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 4222b7950d..cebfe503ba 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -308,6 +308,15 @@ clean-apps: | |||
308 | clean: | 308 | clean: |
309 | \$(MAKE) clean-firmware clean-apps | 309 | \$(MAKE) clean-firmware clean-apps |
310 | 310 | ||
311 | tags-firmware: | ||
312 | \$(MAKE) -C \$(FIRMDIR) TARGET=\$(TARGET) OBJDIR=\$(THISDIR) tags | ||
313 | |||
314 | tags-apps: | ||
315 | \$(MAKE) -C \$(APPSDIR) TARGET=\$(TARGET) OBJDIR=\$(THISDIR) tags | ||
316 | |||
317 | tags: | ||
318 | @rm -f TAGS | ||
319 | \$(MAKE) tags-firmware tags-apps | ||
311 | EOF | 320 | EOF |
312 | 321 | ||
313 | echo "Created Makefile" | 322 | echo "Created Makefile" |