Update fetch.sh

2024-08-07 22:41:44 +02:00 · 2024-08-07 22:41:44 +02:00 · 0777b532a1
commit 0777b532a1
parent 6627048f17
1 changed files with 1 additions and 0 deletions
--- a/fetch.sh
+++ b/fetch.sh
@ -41,6 +41,7 @@ do
 				sed -i "s#$BIN_VERSION#$TARGET_VERSION#g" $i-tmp/DEBIAN/control
 				dpkg-deb -b $i-tmp $i-fixed-$PIKA_BIN_ARCH.deb
 				mv -vf ./*-fixed-$PIKA_BIN_ARCH.deb ./output/
+				rm -rf ./*.deb
 			done
 		fi
 	else