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
28 echo LD_LIBRARY_PATH=$LD_LIBRARY_PATH
29 echo TET_ROOT=$TET_ROOT
30 echo TET_SUITE_ROOT=$TET_SUITE_ROOT
33 RESULT_DIR=results-$ARCH
34 HTML_RESULT=$RESULT_DIR/exec-tar-result-$FILE_NAME_EXTENSION.html
35 JOURNAL_RESULT=$RESULT_DIR/exec-tar-result-$FILE_NAME_EXTENSION.journal
39 tmp_script=/tmp/tetexec$$
41 cat > $tmp_script <<!EOF
42 LD_LIBRARY_PATH=$TET_ROOT/lib/tet3:$LD_LIBRARY_PATH
43 export LD_LIBRARY_PATH
45 echo LD_LIBRARY_PATH=$LD_LIBRARY_PATH
51 tcc -v TET_EXEC_TOOL=$TET_ROOT/bin/tet_start -v TET_EXEC_FILE=$tmp_script -e -j - ./ $scenario