diff options
| -rwxr-xr-x | tools/configure | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index ee5dbaa62a..7fe1956efb 100755 --- a/tools/configure +++ b/tools/configure @@ -1725,6 +1725,9 @@ bin: tools \$(SILENT)\$(MAKE) -C \$(FIRMDIR) OBJDIR=\$(BUILDDIR)/firmware \$(SILENT)\$(MAKE) -C \$(APPSDIR) OBJDIR=\$(BUILDDIR)/@APPS@ \$(BUILDDIR)/\$(BINARY) +rocks: tools + \$(SILENT)\$(MAKE) -C \$(APPSDIR) OBJDIR=\$(BUILDDIR)/@APPS@ rocks + veryclean: clean toolsclean toolsclean: |