about summary refs log tree commit diff
diff options
context:
space:
mode:
-rwxr-xr-xdev-shell5
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