#!/bin/bash -x


cd $TOP/$TAUNAME
./configure
make clean install -j
./tau_validate --html x86_64 &> ../results-sigma.html