fetchurl: change to grep -E to fix #8561

Close #21861.
This commit is contained in:
Vladimír Čunát 2017-01-13 19:05:10 +01:00
parent bc2e81f610
commit a652099c46
No known key found for this signature in database
GPG key ID: E747DF1F9575A3AA

View file

@ -1,4 +1,4 @@
source $stdenv/setup
# !!! this is kinda hacky.
set | grep '^[a-zA-Z]\+=.*://' > $out
set | grep -E '^[a-zA-Z]+=.*://' > $out