krebs.build.populate: cleanup (less) harder

This commit is contained in:
tv 2016-02-04 12:46:09 +01:00
parent 8682f49ed7
commit d739448ab9

View File

@ -74,7 +74,7 @@ let
unset tmpdir
trap '
rm "$tmpdir"/*
rm -f "$tmpdir"/*
rmdir "$tmpdir"
trap - EXIT INT QUIT
' EXIT INT QUIT