Merge pull request #42844 from dtzWill/fix/curl-random-cross

curl: fix configure flag for random device.
This commit is contained in:
Will Dietz 2018-07-01 13:32:40 -05:00 committed by GitHub
commit 6bb1593e3a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -96,7 +96,7 @@ stdenv.mkDerivation rec {
configureFlags = [
( if sslSupport then "--with-ssl=${openssl.crossDrv}" else "--without-ssl" )
( if gnutlsSupport then "--with-gnutls=${gnutls.crossDrv}" else "--without-gnutls" )
"--with-random /dev/urandom"
"--with-random=/dev/urandom"
];
};