diff options
Diffstat (limited to 'tests/simple.sh')
| -rw-r--r-- | tests/simple.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/simple.sh b/tests/simple.sh index 225e7c522498..a2242e34e8c7 100644 --- a/tests/simple.sh +++ b/tests/simple.sh @@ -10,3 +10,8 @@ echo "output path is $outPath" text=$(cat "$outPath"/hello) if test "$text" != "Hello World!"; then exit 1; fi + +# Directed delete: $outPath is not reachable from a root, so it should +# be deleteable. +$nixstore --delete $outPath +if test -e $outPath/hello; then false; fi |