diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -147,7 +147,7 @@ linuxstandalone: Build/Standalone # in its own separate directory, to avoid eg git looking for # binaries in its directory rather than in PATH. for file in $$(find "$(LINUXSTANDALONE_DEST)" -type f); do \ - if file "$$file" | grep ELF | grep -q executable; then \ + if file "$$file" | grep ELF | egrep -q 'executable|shared object' && test -x "$$file"; then \ base=$$(basename "$$file"); \ mkdir -p "$(LINUXSTANDALONE_DEST)/shimmed/$$base"; \ mv "$$file" "$(LINUXSTANDALONE_DEST)/shimmed/$$base/"; \ |