2018-02-01 10:00:17 -08:00
|
|
|
#!/bin/bash
|
|
|
|
|
2018-11-25 21:16:39 -08:00
|
|
|
# Run this from the desktop directory
|
2018-02-19 10:53:58 -08:00
|
|
|
|
2018-11-25 21:16:39 -08:00
|
|
|
set -e
|
|
|
|
source "../res/util.sh"
|
2018-02-01 10:00:17 -08:00
|
|
|
|
2018-11-19 20:10:55 -08:00
|
|
|
function stats {
|
|
|
|
echo "$(printf '%-15s' $1)""$(../res/stats.pl < $1)"
|
|
|
|
}
|
|
|
|
|
2018-02-01 10:00:17 -08:00
|
|
|
#do_make clean
|
|
|
|
do_make all
|
|
|
|
|
2018-11-19 19:55:00 -08:00
|
|
|
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 10:00:17 -08:00
|
|
|
|
2018-02-21 21:18:46 -08:00
|
|
|
# Compute stats
|
2018-03-05 21:20:00 -08:00
|
|
|
echo "Stats:"
|
2018-02-25 19:02:34 -08:00
|
|
|
for t in $SOURCES; do
|
2018-02-01 10:00:17 -08:00
|
|
|
stats "$t.s"
|
|
|
|
done;
|
2018-11-14 19:41:00 -08:00
|
|
|
|
|
|
|
# Mountable directory for Virtual ][
|
|
|
|
if [ -d mount ]; then
|
|
|
|
res/mount.sh
|
|
|
|
fi
|