Vladimír Čunát 89036ef76a stdenv: accept wider range of $configureScript options ... Fixes #12632. I think it's better to quote this variable in general, because it is common and even documented to pass space-separated commands in there. The greps should just fail in that case and `if` won't proceed which seems fine for such cases, and it's certainly better than passing additional unintended parameters to grep (which was happening all the time before).		2016-02-03 17:15:11 +01:00
..
builder.sh	stdenv: Statically include the default build inputs	2014-11-06 12:10:28 +01:00
default-builder.sh
default.nix	Set SOURCE_DATE_EPOCH to latest source file	2016-01-05 17:21:48 +01:00
setup.sh	stdenv: accept wider range of $configureScript options	2016-02-03 17:15:11 +01:00