tet.sh « scripts - pki-dev.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/scripts/tet.sh

blob: f780f5a5bb4aab9612f0e0760cb4179d09652ebe (plain)

#!/bin/sh -x

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

cd $TET_DIR
mkdir logs

testframework/utils/tet_shared/launch.sh $TET_DIR/testframework | tee logs/tet.log