diff options
Diffstat (limited to 'misc/dashboard/builder.sh')
| -rw-r--r-- | misc/dashboard/builder.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/misc/dashboard/builder.sh b/misc/dashboard/builder.sh index 0eaed8b34..fb2e6defb 100644 --- a/misc/dashboard/builder.sh +++ b/misc/dashboard/builder.sh @@ -69,9 +69,7 @@ while true ; do echo "Running benchmarks" cd pkg || fatal "failed to cd to pkg" make bench > ../../benchmarks 2>&1 - if [ $? -eq 0 ] ; then - python ../../../buildcontrol.py benchmarks $BUILDER $rev ../../benchmarks || fatal "Cannot record benchmarks" - fi + python ../../../buildcontrol.py benchmarks $BUILDER $rev ../../benchmarks || fatal "Cannot record benchmarks" cd .. || fatal "failed to cd out of pkg" fi fi |