#!/bin/sh -x

SRC_DIR=`cd ../.. ; pwd`
TET_DIR=$SRC_DIR/tet

cd $TET_DIR
mkdir -p results

testframework/utils/tet_shared/launch.sh $TET_DIR/testframework 2>&1 | tee results/tet.log