3 TEMP=`getopt -o ds: --long desktop,scenario: \
4 -n 'build_out.sh' -- "$@"`
6 if [ $? != 0 ] ; then echo "Terminating..." >&2 ; exit 1 ; fi
8 # Note the quotes around `$TEMP': they are essential!
16 -d|--desktop) env=./_export_desktop.sh ; shift ;;
17 -s|--scenario) scenario="$2" ; shift 2 ;;
19 *) echo "Internal error!" ; exit 1 ;;
24 # Source correct environment
29 echo LD_LIBRARY_PATH=$LD_LIBRARY_PATH
30 echo TET_ROOT=$TET_ROOT
31 echo TET_SUITE_ROOT=$TET_SUITE_ROOT
34 RESULT_DIR=results-$ARCH
35 HTML_RESULT=$RESULT_DIR/exec-tar-result-$FILE_NAME_EXTENSION.html
36 JOURNAL_RESULT=$RESULT_DIR/exec-tar-result-$FILE_NAME_EXTENSION.journal
40 tcc -e -j $JOURNAL_RESULT -p ./ $scenario
41 ./tbp.pl $JOURNAL_RESULT