#! /bin/bash
#
# runs configure and all three build phases, outputting results into one log file.
# ============================================================================================
# Poor man's command line parser
for arg in $*; do\
export $arg
done
# Run configure step and build1+2
./configure
make build1
make build2
# Move config.log contents into install.log.
cat config.log install.log > install.tmp && mv install.tmp install.log
# Finally, run build3 and check.
make build3
make check | tee -a install.log