echo Time before install: ${SECONDS} >> $INFOLOG
echo Time after install: ${SECONDS} >> $INFOLOG
echo Size after install: $(sudo du -skx --exclude home /) >> $INFOLOG
#
make -k
>> $TESTLOG 2>&1
|| true
#
#
echo Time after make: ${SECONDS} >> $INFOLOG
echo Size after make: $(sudo du -skx --exclude home /) >> $INFOLOG
echo Time before doc: ${SECONDS} >> $INFOLOG
echo Time before test: ${SECONDS} >> $INFOLOG
sudo -E sh << ROOT_EOF
if [ -r "$JH_PACK_INSTALL" ]; then
source $JH_PACK_INSTALL
export -f wrapInstall
export -f packInstall
fi
wrapInstall '
echo Time after doc: ${SECONDS} >> $INFOLOG
echo Size after doc: $(sudo du -skx --exclude home /) >> $INFOLOG
echo Time after test: ${SECONDS} >> $INFOLOG
echo Size after test: $(sudo du -skx --exclude home /) >> $INFOLOG
ROOT_EOF
'
packInstall
make -j1
'\''