10dfd3848c36195ef22b6f18dc4ac481bf775a1a
2 # This file is part of NIT ( http://www.nitlanguage.org ).
4 # Licensed under the Apache License, Version 2.0 (the "License");
5 # you may not use this file except in compliance with the License.
6 # You may obtain a copy of the License at
8 # http://www.apache.org/licenses/LICENSE-2.0
10 # Unless required by applicable law or agreed to in writing, software
11 # distributed under the License is distributed on an "AS IS" BASIS,
12 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 # See the License for the specific language governing permissions and
14 # limitations under the License.
16 # This shell script executes a shell command and generates a JUnit compatible XML file
18 if test $# -lt
2; then
19 echo "Usage: unitrun.sh name command"
20 echo "Runs the command and generates a JUnit XML file name.xml"
27 # Detect a working time command
28 if env
time --quiet
-f
%U true
2>/dev
/null
; then
29 TIME
="env time --quiet -f%U -o '${name}.t.out'"
30 elif env
time -f
%U true
2>/dev
/null
; then
31 TIME
="env time -f%U -o '${name}.t.out'"
36 # Magic here! This tee and save both stdout and stderr in distinct files without messing with them
37 # Time just get the user time
38 $TIME "$@" > >(tee "${name}.out") 2> >(tee "${name}.2.out" >&2)
41 c
=`echo "${name%-*}" | tr "-" "."`
44 cat > "${name}.xml"<<END
45 <testsuites
><testsuite
>
46 <testcase classname
='$c' name
='$n' time='`cat "${name}.t.out"`' timestamp
='`date -Iseconds`'>
48 if test "$res" != "0"; then
49 echo >> "${name}.xml" "<error message='Command returned $res'/>"
50 echo "+ Command returned $res" >&2
52 cat >> "${name}.xml"<<END
57 `cat -v ${name}.2.out`
60 </testsuite
></testsuites
>
63 rm "${name}.out" "${name}.2.out" "${name}.t.out"