all: CI and misc updates

2023-06-30 01:20:48 +02:00
parent ece5af2895
commit b75e7687f4
16 changed files with 192 additions and 80 deletions
@@ -15,6 +15,7 @@ fi
 # go to upx top-level directory
 cd "$argv0dir/../.." || exit 1
 pwd
+test -f doc/upx.pod   || exit 1 # sanity check
 test -f src/version.h || exit 1 # sanity check

 function run_config_and_build {