Skip to content
Snippets Groups Projects
Commit f76fee73 authored by Holger Levsen's avatar Holger Levsen
Browse files

reproducible OpenWrt: try harder to properly cleanup afterwards

parent b987d45d
No related branches found
No related tags found
No related merge requests found
......@@ -53,7 +53,7 @@ node_cleanup_tmpdirs() {
echo "$(date -u) - deleting \$TMPBUILDDIR $TMPBUILDDIR"
if [ "$RUN" = "b2" ]; then
umount "$TMPBUILDDIR/build"
umount -l "$TMPBUILDDIR/build"
fi
rm -rf "$TMPBUILDDIR"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment