summaryrefslogtreecommitdiff
path: root/TC/execute.sh
diff options
context:
space:
mode:
Diffstat (limited to 'TC/execute.sh')
-rwxr-xr-xTC/execute.sh15
1 files changed, 0 insertions, 15 deletions
diff --git a/TC/execute.sh b/TC/execute.sh
deleted file mode 100755
index a4f6095..0000000
--- a/TC/execute.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/sh
-
-. ./_export_target_env.sh # setting environment variables
-
-export TET_SUITE_ROOT=`pwd`
-FILE_NAME_EXTENSION=`date +%s`
-
-RESULT_DIR=results
-HTML_RESULT=$RESULT_DIR/exec-tar-result-$FILE_NAME_EXTENSION.html
-JOURNAL_RESULT=$RESULT_DIR/exec-tar-result-$FILE_NAME_EXTENSION.journal
-
-mkdir -p $RESULT_DIR
-
-tcc -e -j $JOURNAL_RESULT -p ./
-grw -c 3 -f chtml -o $HTML_RESULT $JOURNAL_RESULT