purge_distfiles.sh: forcefully remove files
This commit is contained in:
parent
005569000e
commit
7416477a64
1 changed files with 1 additions and 1 deletions
|
@ -79,7 +79,7 @@ purge_distfiles() {
|
|||
[ -n "${my_hashes[$hash]}" ] && continue
|
||||
inode=$(stat "$file" --printf "%i")
|
||||
echo "Obsolete $hash (inode: $inode)"
|
||||
( IFS="|"; for f in ${inodes[$inode]}; do rm -v "$f"; rmdir "${f%/*}" 2>/dev/null; done )
|
||||
( IFS="|"; for f in ${inodes[$inode]}; do rm -vf "$f"; rmdir "${f%/*}" 2>/dev/null; done )
|
||||
done
|
||||
echo "Done."
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue