From: Jean Privat Date: Tue, 2 Sep 2014 13:03:33 +0000 (-0400) Subject: misc/jenkins: unitrun handle classname X-Git-Tag: v0.6.9~12^2~10 X-Git-Url: http://nitlanguage.org misc/jenkins: unitrun handle classname Signed-off-by: Jean Privat --- diff --git a/misc/jenkins/unitrun.sh b/misc/jenkins/unitrun.sh index c652286..bb5b86e 100755 --- a/misc/jenkins/unitrun.sh +++ b/misc/jenkins/unitrun.sh @@ -29,9 +29,12 @@ shift /usr/bin/time -f%U -o "${name}.t.out" "$@" > >(tee "${name}.out") 2> >(tee "${name}.2.out" >&2) res=$? +c=`echo "${name%-*}" | tr "-" "."` +n=${name##*-} + cat > "${name}.xml"< - + END if test "$res" != "0"; then echo >> "${name}.xml" ""