# Inject tidlc path
TIDLC_PATH=`sed -n '/tidl/p' /home/build/.bashrc | cut -f2 -d':'`
if [ ! -z ${TIDLC_PATH} ]; then echo "PATH=\$PATH:${TIDLC_PATH}" >> /home/build/.profile; fi
+su - build -c "tidlc --version"
for rs in $rs_list; do
echo "BUILDING START TIME: `date`"