echo "WARNING: To run the binary-dist target, you need to set BIN_DIST=1 in your build.mk" && exit 1
endif
-rm -rf $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)
echo "WARNING: To run the binary-dist target, you need to set BIN_DIST=1 in your build.mk" && exit 1
endif
-rm -rf $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)