X-Git-Url: http://nitlanguage.org diff --git a/misc/jenkins/unitrun.sh b/misc/jenkins/unitrun.sh index 3bb1766..1c3d39f 100755 --- a/misc/jenkins/unitrun.sh +++ b/misc/jenkins/unitrun.sh @@ -26,9 +26,9 @@ shift # Detect a working time command if env time --quiet -f%U true 2>/dev/null; then - TIME="env time --quiet -f%U -o '${name}.t.out'" + TIME="env time --quiet -f%U -o ${name}.t.out" elif env time -f%U true 2>/dev/null; then - TIME="env time -f%U -o '${name}.t.out'" + TIME="env time -f%U -o ${name}.t.out" else TIME= fi @@ -48,23 +48,38 @@ res=$? c=`echo "${name%-*}" | tr "-" "."` n=${name##*-} +# Do we have a time result? +if test -f "${name}.t.out"; then + T="time='`cat "${name}.t.out"`'" +else + T= +fi + cat > "${name}.xml"< - + END if test "$res" != "0"; then echo >> "${name}.xml" "" echo "+ Command returned $res" >&2 fi +if test -s "${name}.out"; then cat >> "${name}.xml"< +END +fi +if test -s "${name}.2.out"; then +cat >> "${name}.xml"< +END +fi +cat >> "${name}.xml"< END -rm "${name}.out" "${name}.2.out" "${name}.t.out" +rm "${name}.out" "${name}.2.out" "${name}.t.out" 2> /dev/null || true