diff options
-rwxr-xr-x | dev-shell | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dev-shell b/dev-shell index 8579939a7b54..a4fdc6814bd2 100755 --- a/dev-shell +++ b/dev-shell @@ -1,4 +1,9 @@ #! /bin/sh +if [ -e tests/test-tmp ]; then + chmod -R u+w tests/test-tmp + rm -rf tests/test-tmp +fi + s=$(type -p nix-shell) exec $s release.nix -A tarball --command " export NIX_REMOTE=daemon |