1 TEMP=`getopt -o ds: --long desktop,scenario: \
2 -n 'build_out.sh' -- "$@"`
4 if [ $? != 0 ] ; then echo "Terminating..." >&2 ; exit 1 ; fi
6 # Note the quotes around `$TEMP': they are essential!
10 env=./_export_target_env.sh
14 -d|--desktop) env=./_export_desktop.sh ; shift ;;
15 -s|--scenario) scenario="$2" ; shift 2 ;;
17 *) echo "Internal error!" ; exit 1 ;;
22 # Source correct environment
27 echo LD_LIBRARY_PATH=$LD_LIBRARY_PATH
28 echo TET_ROOT=$TET_ROOT
29 echo TET_SUITE_ROOT=$TET_SUITE_ROOT
32 RESULT_DIR=results-$ARCH
33 HTML_RESULT=$RESULT_DIR/exec-tar-result-$FILE_NAME_EXTENSION.html
34 JOURNAL_RESULT=$RESULT_DIR/exec-tar-result-$FILE_NAME_EXTENSION.journal
38 tcc -e -j $JOURNAL_RESULT -p ./ $scenario
39 grw -c 3 -f chtml -o $HTML_RESULT $JOURNAL_RESULT