Fix making bindists

We were looking for executable things, but not requiring that they were
files. So we were adding lots of directories (and thus their contents)
to the bindists, massively inflating their size.

diff --git a/mk/bindist.mk b/mk/bindist.mk
index 2ab0259..00421cd 100644 (file)
--- a/mk/bindist.mk
+++ b/mk/bindist.mk
@@ -22,7 +22,7 @@ binary-dist:
        # Executables
        -find . -name "*.wrapper"                   -exec echo $(WHERE_AM_I)/{} \; >> $(BIN_DIST_LIST) 2> /dev/null
        -find $(EXE_DIST_DIR)/setup-config          -exec echo $(WHERE_AM_I)/{} \; >> $(BIN_DIST_LIST) 2> /dev/null
-       -find $(EXE_DIST_DIR) -perm /a+x            -exec echo $(WHERE_AM_I)/{} \; >> $(BIN_DIST_LIST) 2> /dev/null
+       -find $(EXE_DIST_DIR) -type f -perm /a+x    -exec echo $(WHERE_AM_I)/{} \; >> $(BIN_DIST_LIST) 2> /dev/null
        # And anything else
 ifneq "$(BINDIST_EXTRAS)" ""
        for FILE in $(BINDIST_EXTRAS); do if [ -e $$FILE ]; then echo $(WHERE_AM_I)/$$FILE >> $(BIN_DIST_LIST); fi; done