diff options
author | Florian Klink <flokli@flokli.de> | 2019-08-18 13:58:10 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-18 13:58:10 +0200 |
commit | dbd7ea5f294d9d31ea74b4288ec9fa2a5cc78f79 (patch) | |
tree | 37554c63a5e6e81ba1f10755983f584200b854cc /pkgs/stdenv | |
parent | a5b549e816e9eeb1e76303f837ee2d1324c250a5 (diff) | |
parent | 88146a095f5040b5beb9612c63604493aefa9fd2 (diff) |
Merge pull request #66725 from flokli/wrapqtappshook-exec
stdenv: add isELFExec, isELFDyn, fix wrappers
Diffstat (limited to 'pkgs/stdenv')
-rw-r--r-- | pkgs/stdenv/generic/setup.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/pkgs/stdenv/generic/setup.sh b/pkgs/stdenv/generic/setup.sh index ebcedce60b87a..311292169ecde 100644 --- a/pkgs/stdenv/generic/setup.sh +++ b/pkgs/stdenv/generic/setup.sh @@ -212,6 +212,18 @@ isELF() { if [ "$magic" = $'\177ELF' ]; then return 0; else return 1; fi } +# Return success if the specified file is an ELF object +# and its e_type is ET_EXEC (executable file) +isELFExec() { + grep -ao -P '^\177ELF.{11}\x00\x02' "$1" >/dev/null +} + +# Return success if the specified file is an ELF object +# and its e_type is ET_DYN (shared object file) +isELFDyn() { + grep -ao -P '^\177ELF.{11}\x00\x03' "$1" >/dev/null +} + # Return success if the specified file is a script (i.e. starts with # "#!"). isScript() { |