diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 1f71c8b51c..6af5b92508 100755 --- a/tools/configure +++ b/tools/configure @@ -2193,7 +2193,7 @@ manual-ztxt: manual-zip: \$(SILENT)\$(MAKE) -C \$(MANUALDIR) OBJDIR=\$(BUILDDIR)/manual manual-zip -features: +features: tools \$(SILENT)\$(MAKE) -C \$(APPSDIR) OBJDIR=\$(BUILDDIR)/@APPS@ features help: |