blob: 2c6167e6f2da5892c36eaf9483e9787331a056cd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
. ./_export_target_env.sh # setting environment variables
echo PATH=$PATH
echo LD_LIBRARY_PATH=$LD_LIBRARY_PATH
echo TET_ROOT=$TET_ROOT
echo TET_SUITE_ROOT=$TET_SUITE_ROOT
echo ARCH=$ARCH
RESULT_DIR=results-$ARCH
HTML_RESULT=$RESULT_DIR/exec-tar-result-$FILE_NAME_EXTENSION.html
JOURNAL_RESULT=$RESULT_DIR/exec-tar-result-$FILE_NAME_EXTENSION.journal
mkdir $RESULT_DIR
tcc -e -j $JOURNAL_RESULT -p ./ # executing tcc, with –e option
grw -c 3 -f chtml -o $HTML_RESULT $JOURNAL_RESULT # reporting the result
|