diff options
Diffstat (limited to 'pkgs/stdenv')
-rw-r--r-- | pkgs/stdenv/generic/setup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/stdenv/generic/setup.sh b/pkgs/stdenv/generic/setup.sh index 471ef9a9e4174..0115b78cf492a 100644 --- a/pkgs/stdenv/generic/setup.sh +++ b/pkgs/stdenv/generic/setup.sh @@ -271,7 +271,7 @@ stopLog() { # prefix `HASH-' removed, if present. stripHash() { strippedName=$(basename $1); - if echo "$strippedName" | grep -q '^[a-f0-9]\{32\}-'; then + if echo "$strippedName" | grep -q '^[a-z0-9]\{32\}-'; then strippedName=$(echo "$strippedName" | cut -c34-) fi } |