Merge pull request #226 from shlevy/pass-input-uri-and-type

buildInputToString: Pass along the input's type and urr
This commit is contained in:
Eelco Dolstra 2015-08-04 13:01:26 +02:00
commit deee99b518

View file

@ -271,6 +271,8 @@ sub buildInputToString {
")";
} else {
$result = "{ outPath = builtins.storePath " . $input->{storePath} . "" .
"; inputType = \"" . $input->{type} . "\"" .
(defined $input->{uri} ? "; uri = \"" . $input->{uri} . "\"" : "") .
(defined $input->{revNumber} ? "; rev = " . $input->{revNumber} . "" : "") .
(defined $input->{revision} ? "; rev = \"" . $input->{revision} . "\"" : "") .
(defined $input->{revCount} ? "; revCount = " . $input->{revCount} . "" : "") .