blob: c618a6945a1671c4770eac1c21b827a13ed860e1 (
plain)
1
2
3
4
5
6
7
8
9
|
#!/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
|