diff options
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index f0d906b0b2..3fe48081cd 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -633,7 +633,7 @@ tags: | |||
633 | \$(MAKE) -C \$(APPSDIR)/plugins tags | 633 | \$(MAKE) -C \$(APPSDIR)/plugins tags |
634 | \$(MAKE) -C \$(APPSDIR)/plugins/lib tags | 634 | \$(MAKE) -C \$(APPSDIR)/plugins/lib tags |
635 | 635 | ||
636 | zip: all | 636 | zip: |
637 | \$(TOOLSDIR)/buildzip.pl -r "\$(ROOTDIR)" \$(TARGET) \$(BINARY) | 637 | \$(TOOLSDIR)/buildzip.pl -r "\$(ROOTDIR)" \$(TARGET) \$(BINARY) |
638 | EOF | 638 | EOF |
639 | 639 | ||