1 . ./_export_target_env.sh # setting environment variables
4 echo LD_LIBRARY_PATH=$LD_LIBRARY_PATH
5 echo TET_ROOT=$TET_ROOT
6 echo TET_SUITE_ROOT=$TET_SUITE_ROOT
9 RESULT_DIR=results-exe-$ARCH
10 HTML_RESULT=$RESULT_DIR/exec-tar-result-$FILE_NAME_EXTENSION.html
11 JOURNAL_RESULT=$RESULT_DIR/exec-tar-result-$FILE_NAME_EXTENSION.journal
15 tcc -e -j $JOURNAL_RESULT -p ./ # executing tcc, with –e option
16 grw -c 3 -f chtml -o $HTML_RESULT $JOURNAL_RESULT # reporting the result