diff options
Diffstat (limited to 'bin/jenkins_node_wrapper.sh')
| -rwxr-xr-x | bin/jenkins_node_wrapper.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/jenkins_node_wrapper.sh b/bin/jenkins_node_wrapper.sh index c1210184..aabc7c31 100755 --- a/bin/jenkins_node_wrapper.sh +++ b/bin/jenkins_node_wrapper.sh @@ -71,6 +71,8 @@ elif [ "$1" = "/srv/jenkins/bin/reproducible_build.sh" ] && ( [ "$2" = "1" ] || exec /srv/jenkins/bin/reproducible_build.sh $2 $3 $4 $5 ; croak "Exec failed"; elif [[ "$*" =~ rsync\ --server\ --sender\ .*\ .\ /srv/reproducible-results/tmp.* ]] ; then exec rsync --server --sender .* . $6 ; croak "Exec failed"; +elif [[ "$*" =~ rm\ -r\ /srv/reproducible-results/tmp.* ]] ; then + exec rm -r $3 ; croak "Exec failed"; elif [ "$*" = "reproducible_setup_pbuilder_unstable_armhf_bpi0" ] ; then exec /srv/jenkins/bin/reproducible_setup_pbuilder.sh unstable ; croak "Exec failed"; elif [ "$*" = "reproducible_maintenance_armhf_bpi0" ] ; then |