diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_html_graphs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_html_graphs.sh b/bin/reproducible_html_graphs.sh index 6124a8e6..e07790bb 100755 --- a/bin/reproducible_html_graphs.sh +++ b/bin/reproducible_html_graphs.sh @@ -226,7 +226,7 @@ redo_png() { mkdir -p $(dirname $2) /srv/jenkins/bin/make_graph.py ${TABLE[$1]}.csv $2 ${COLOR[$1]} "${MAINLABEL[$1]}" "${YLABEL[$1]}" mv $2 /var/lib/jenkins/userContent/$SUITE - rmdir $(dirname $2) + rmdir --ignore-fail-on-non-empty $(dirname $2) fi rm ${TABLE[$1]}.csv } |