Before, zip --grow was used, but this does not unpack the individual ZIP files (at least on Debian Linux stable with "Zip 3.0 by Info-ZIP"). Therefore the submodules weren't present as folders, but as ZIP files within the main ZIP file.
Unfortunately, the more intelligent option of using zipmerge didn't work for be because it kills the x bit of directories.
Before,
zip --grow
was used, but this does not unpack the individual ZIP files (at least on Debian Linux stable with "Zip 3.0 by Info-ZIP"). Therefore the submodules weren't present as folders, but as ZIP files within the main ZIP file.Unfortunately, the more intelligent option of using
zipmerge
didn't work for be because it kills the x bit of directories.