diff options
| author | Fedja Beader <fedja@protonmail.ch> | 2025-02-03 14:57:52 +0000 |
|---|---|---|
| committer | Fedja Beader <fedja@protonmail.ch> | 2025-02-03 14:57:52 +0000 |
| commit | d264e94c698eb3621f185c9d849200950328d68d (patch) | |
| tree | 9f2ec4941f8bd855b8e64d04609ecc3e43f39c46 /tools | |
| parent | 3bfc991087edcc6e8a103b2d31382c7dbe1078b0 (diff) | |
| download | plus-d264e94c698eb3621f185c9d849200950328d68d.tar.gz plus-d264e94c698eb3621f185c9d849200950328d68d.tar.bz2 plus-d264e94c698eb3621f185c9d849200950328d68d.tar.xz plus-d264e94c698eb3621f185c9d849200950328d68d.zip | |
Expose exe in artifacts and report its size in log
Sometimes we're curious about the impact of a change on code size, this might satisfy us.
****
mana/plus!121
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/scripts/init.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index ed25a59e8..54b0ac64f 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -150,6 +150,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 { |