Newer
Older
####################################
# Source the right environment
####################################
if [ -z "$1" ]
then
echo "Please provide the targeted machine from:"
ls machines/
echo ""
echo "Example: ./run.sh occigen-bdw"
exit 1
fi
env_file="../machines/$1/env_bench"
if [ ! -f $env_file ]
then
echo "ERROR: $env_file not found!"
exit 1
else
source $env_file
fi
####################################
# RUN SMALLTEST
####################################