diff options
-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 3cac5e63..5eb9e8d5 100755 --- a/bin/jenkins_node_wrapper.sh +++ b/bin/jenkins_node_wrapper.sh @@ -89,6 +89,8 @@ elif [[ "$*" =~ rsync\ --server\ --sender\ .*\ .\ /var/lib/jenkins/userContent/r exec rsync --server --sender "$4" . "$6" ; croak "Exec failed"; elif [[ "$*" =~ rsync\ --server\ --sender\ .*\ .\ /srv/udebs/.*/ ]] ; then exec rsync --server --sender "$4" . "$6" ; croak "Exec failed"; +elif [[ "$*" =~ mkdir -p /srv/udebs/.* ]] ; then + exec mkdir -p "$3" ; croak "Exec failed"; elif [[ "$*" =~ rm\ -r\ /srv/reproducible-results/tmp.* ]] ; then exec rm -r "$3" ; croak "Exec failed"; elif [[ "$*" =~ rm\ -r\ /srv/reproducible-results/rbuild.* ]] ; then |