stripping (with flags -S) in /nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/lib/...-webdsl/lib /nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/bin/...-webdsl/bin
strip: /nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/lib/libwebdsl-front.la/...-webdsl/lib/libwebdsl-front.la: File format not recognized
strip: /nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/lib/libwebdsl-generator.la/...-webdsl/lib/libwebdsl-generator.la: File format not recognized
strip: /nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/lib/pkgconfig/webdsls.pc/...-webdsl/lib/pkgconfig/webdsls.pc: File format not recognized
strip: /nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/bin/webdsl/...-webdsl/bin/webdsl: File format not recognized
strip: /nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/bin/webdsl-plugins/...-webdsl/bin/webdsl-plugins: File format not recognized
patching ELF executables and libraries
/nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/lib/libwebdsl-front.so/...-webdsl/lib/libwebdsl-front.so
/nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/lib/libwebdsl-front.la/...-webdsl/lib/libwebdsl-front.la
not an ELF executable
/nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/lib/libwebdsl-generator.so/...-webdsl/lib/libwebdsl-generator.so
/nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/lib/libwebdsl-generator.la/...-webdsl/lib/libwebdsl-generator.la
not an ELF executable
/nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/bin/dsl-to-seam/...-webdsl/bin/dsl-to-seam
/nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/bin/webdsl/...-webdsl/bin/webdsl
not an ELF executable
/nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/bin/webdsl-plugins/...-webdsl/bin/webdsl-plugins
not an ELF executable
patching script interpreter paths
/nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/bin/webdsl/...-webdsl/bin/webdsl: interpreter changed from /bin/bash to /nix/store/mm631h09mj964hm9q04l5fd8vw12j1mm-bash-3.2-p39/bin/bash/...-bash-3.2-p39/bin/bash
/nix/store/i66dwjrbjdiasvlgk0cqn8zk09hqz20p-webdsl/bin/webdsl-plugins/...-webdsl/bin/webdsl-plugins: interpreter changed from /bin/bash to /nix/store/mm631h09mj964hm9q04l5fd8vw12j1mm-bash-3.2-p39/bin/bash/...-bash-3.2-p39/bin/bash