A trivial bug: The script contained the idiom
make -C <dir> <targets> || exit 1
which is non-portable to standard makes,
and turns out to be not how the Gnu
make folks say to do subdirectories anyway.
I've attached an equally trivial patch to
change it to
(cd <dir>; make <targets> || exit 1)
I'll CC the list, too.
--dave