a2d/desktop/res/go.sh

37 lines
747 B
Bash
Raw Normal View History

2018-02-01 18:00:17 +00:00
#!/bin/bash
2018-11-26 05:16:39 +00:00
# Run this from the desktop directory
2018-02-19 18:53:58 +00:00
2018-11-26 05:16:39 +00:00
set -e
source "../res/util.sh"
2018-02-01 18:00:17 +00:00
function verify {
2018-03-03 03:56:39 +00:00
diff "orig/$1" "out/$2" \
&& (cecho green "diff $2 good" ) \
|| (tput blink ; cecho red "DIFF $2 BAD" ; return 1)
2018-02-01 18:00:17 +00:00
}
function stats {
echo "$(printf '%-15s' $1)""$(../res/stats.pl < $1)"
2018-02-01 18:00:17 +00:00
}
#do_make clean
do_make all
COMMON="loader mgtk"
TARGETS="$COMMON desktop"
SOURCES="$COMMON desktop_main desktop_res desktop_aux invoker ovl1 ovl1a ovl1b ovl1c ovl2 ovl3 ovl4 ovl5 ovl6 ovl7"
2018-02-01 18:00:17 +00:00
# Verify original and output match
echo "Verifying diffs:"
for t in $TARGETS; do
2018-03-03 03:56:39 +00:00
verify "DESKTOP2_$t" "$t.built"
2018-02-01 18:00:17 +00:00
done;
2018-09-04 00:31:25 +00:00
verify "DESKTOP2.\$F1" "DESKTOP2.built"
2018-02-01 18:00:17 +00:00
2018-02-22 05:18:46 +00:00
# Compute stats
2018-03-06 05:20:00 +00:00
echo "Stats:"
2018-02-26 03:02:34 +00:00
for t in $SOURCES; do
2018-02-01 18:00:17 +00:00
stats "$t.s"
done;