3 TEMP=`getopt -o 2vds: --long 2,verbose,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!
17 -d|--desktop) opt_env=desktop ; shift ;;
18 -s|--scenario) scenario="$2" ; shift 2 ;;
19 -v|--verbose) opt_verbose=1 ; shift ;;
20 -2|--2) opt_env=sbs ; shift ;;
22 *) echo "Internal error!" ; exit 1 ;;
30 cat <<EOF > coverage.mk
36 cat <<EOF > coverage.mk
42 cat <<EOF > coverage.mk
50 echo LD_LIBRARY_PATH=$LD_LIBRARY_PATH
51 echo TET_ROOT=$TET_ROOT
52 echo TET_SUITE_ROOT=$TET_SUITE_ROOT
55 RESULT_DIR=results-$ARCH
56 HTML_RESULT=$RESULT_DIR/build-tar-result-$FILE_NAME_EXTENSION.html
57 JOURNAL_RESULT=$RESULT_DIR/build-tar-result-$FILE_NAME_EXTENSION.journal
60 find . -name Makefile -execdir make -f {} clean \;
63 if [ $opt_verbose -eq 1 ] ; then
64 tcc -b -j - ./ $scenario | tee $JOURNAL_RESULT
66 tcc -b -j $JOURNAL_RESULT -p ./ $scenario
68 ./tbp.pl $JOURNAL_RESULT