#!/bin/bash
. dot.sh
export PMON_TEXT_ORIGIN=${FPGA_SPECIAL:-0xbfc00000}
echo "### make ###" | tee xxx.out
make $* 2>&1 | tee -a xxx.out
if [ -e pmon/bg/pmon ] ; then
	echo "### pmon version `cat pmon/full-version|tr -d '\n'` ###" | \
		tee -a xxx.out
fi
echo "### ### ### ### ###"

# Look for problems in xxx.out results
grep -ie " ###\|warning\|invalid\|[^p]error\|^error\|undefined\|undeclared" xxx.out
