* Maintain the references for the user environment properly.

This commit is contained in:
Eelco Dolstra 2006-10-17 12:15:15 +00:00
parent dfc042a0c1
commit 822dba2210
1 changed files with 1 additions and 1 deletions

View File

@ -200,7 +200,7 @@ static void createUserEnv(EvalState & state, const DrvInfos & elems,
makeBind(toATerm("derivations"),
makeList(ATreverse(inputs)), makeNoPos()),
makeBind(toATerm("manifest"),
makeStr(manifestFile), makeNoPos())
makeStr(manifestFile, singleton<PathSet>(manifestFile)), makeNoPos())
)));
/* Instantiate it. */