TEMP=`getopt -o ds: --long desktop,scenario: \ -n 'build_out.sh' -- "$@"` if [ $? != 0 ] ; then echo "Terminating..." >&2 ; exit 1 ; fi # Note the quotes around `$TEMP': they are essential! eval set -- "$TEMP" scenario=all env=./_export_target_env.sh while true ; do case "$1" in -d|--desktop) env=./_export_desktop.sh ; shift ;; -s|--scenario) scenario="$2" ; shift 2 ;; --) shift ; break ;; *) echo "Internal error!" ; exit 1 ;; esac done # Source correct environment . $env 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 -p $RESULT_DIR tcc -e -j $JOURNAL_RESULT -p ./ $scenario grw -c 3 -f chtml -o $HTML_RESULT $JOURNAL_RESULT