CI updates

2024-05-01 13:11:12 +02:00
parent b0dc483165
commit 8393ded1b3
11 changed files with 136 additions and 46 deletions
@@ -29,6 +29,7 @@ podman run "${flags[@]}" "$image" bash -c $'
 set -ex; set -o pipefail
 cd /home/upx/src/upx/src/stub
 make maintainer-clean extra-clean
+git status . || true # make sure the stub files got deleted
 make extra-all all
 echo "===== Rebuilt stubs. All done. ====="
 exit 0