diff options
| -rwxr-xr-x | bin/jenkins_node_wrapper.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/jenkins_node_wrapper.sh b/bin/jenkins_node_wrapper.sh index 5eb9e8d5..817e7454 100755 --- a/bin/jenkins_node_wrapper.sh +++ b/bin/jenkins_node_wrapper.sh @@ -89,7 +89,7 @@ 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 +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"; |