diff options
| -rwxr-xr-x | scripts/nix-build.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/nix-build.in b/scripts/nix-build.in index 828eb1c3967c..4f59118f8b79 100755 --- a/scripts/nix-build.in +++ b/scripts/nix-build.in @@ -206,6 +206,7 @@ foreach my $expr (@exprs) { my $rcfile = "$tmpDir/rc"; writeFile( $rcfile, + "rm -rf '$tmpDir'; " . 'unset BASH_ENV; ' . '[ -n "$PS1" ] && [ -e ~/.bashrc ] && source ~/.bashrc; ' . ($pure ? '' : 'p=$PATH; ' ) . |