nitlanguage
/
nit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
jenkins: name command test results with `cmd` instead of `run`
[nit.git]
/
misc
/
jenkins
/
check_contrib.sh
diff --git
a/misc/jenkins/check_contrib.sh
b/misc/jenkins/check_contrib.sh
index
d43f7f5
..
320dac8
100755
(executable)
--- a/
misc/jenkins/check_contrib.sh
+++ b/
misc/jenkins/check_contrib.sh
@@
-25,11
+25,11
@@
for p in $projects; do
dir=`dirname "$p"`
name=`basename "$dir"`
echo "*** make $dir ***"
dir=`dirname "$p"`
name=`basename "$dir"`
echo "*** make $dir ***"
- if misc/jenkins/unitrun.sh "run-$name-make" make -C "$dir"; then
+ if misc/jenkins/unitrun.sh "cmd-$name-make" make -C "$dir"; then
# Make OK, is there a `check` rule?
make -C "$dir" check -n 2>/dev/null || continue
echo "*** makecheck $dir ***"
# Make OK, is there a `check` rule?
make -C "$dir" check -n 2>/dev/null || continue
echo "*** makecheck $dir ***"
- if misc/jenkins/unitrun.sh "run-$name-makecheck" make -C "$dir" check; then
+ if misc/jenkins/unitrun.sh "cmd-$name-makecheck" make -C "$dir" check; then
:
else
failed="$failed $name-check"
:
else
failed="$failed $name-check"