diff options
Diffstat (limited to 'tools/ci/scripts/init.sh')
| -rwxr-xr-x | tools/ci/scripts/init.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index ed25a59e8..396dae182 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -2,8 +2,10 @@ export dir=$(pwd) export ERRFILE=${dir}/logs/${LOGFILE} +export ERRFILE_UNFILTERED=${ERRFILE%.log}.unfiltered.log rm -f "$ERRFILE" +rm -f "$ERRFILE_UNFILTERED" function do_init { $CC --version @@ -150,6 +152,16 @@ function run_make { echo "make -j${JOBS} V=0 $*" make -j${JOBS} V=0 $* 2>$ERRFILE check_error $? + + for path in "src/manaplus" "src/dyecmd"; do + if [[ -f "$path" ]]; then + stat -c '%s %n' "$path" + strip -o "$path.stripped" "$path" + stat -c '%s %n' "$path.stripped" + else + printf "%s does not exist, no strip & exe size summary\n" "$path" + fi + done } function run_make_check { @@ -205,9 +217,15 @@ function run_gcov { function run_check_warnings { if [[ -s "$ERRFILE" ]]; then + printf "Warnings detected in %s:\n" "$ERRFILE" cat $ERRFILE exit 1 fi + + if [[ -s "$ERRFILE_UNFILTERED" ]]; then + printf "Warnings detected in %s. The maintainer might want to take a peek, sometimes.\n" \ + "$ERRFILE_UNFILTERED" + fi } function run_h { |