diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-08-25 16:38:14 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-08-25 16:38:14 +0200 |
commit | 7a3a420509b115660b57305e54913308a497556c (patch) | |
tree | 92d377607b462e195c20fda1c170c07d835920f0 /bin | |
parent | a167698105f9f4f17e43487000e79aaa05841f9f (diff) | |
download | jenkins.debian.net-7a3a420509b115660b57305e54913308a497556c.tar.xz |
reproducible: let it fail, let it fail, let it fail
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index feab474c..42a21085 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -514,7 +514,7 @@ create_png_from_table() { DIR=$(dirname $2) mkdir -p $DIR echo "Generating $2." - /srv/jenkins/bin/make_graph.py ${TABLE[$1]}.csv $2 ${COLORS} "${MAINLABEL[$1]}" "${YLABEL[$1]}" || true # FIXME we should fail here... + /srv/jenkins/bin/make_graph.py ${TABLE[$1]}.csv $2 ${COLORS} "${MAINLABEL[$1]}" "${YLABEL[$1]}" mv $2 $BASE/$DIR [ "$DIR" = "." ] || rmdir $(dirname $2) # create empty dummy png if there havent been any results ever |