diff --git a/Jenkinsfile b/Jenkinsfile index e6ba29a..4195f6b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -20,7 +20,6 @@ pipeline { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh 'sh kill_days_containers.sh' sh 'docker system prune -a -f' - sh 'install timeout_docker.sh /usr/local/bin/docker' } } } @@ -32,7 +31,6 @@ pipeline { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh 'sh kill_days_containers.sh' sh 'docker system prune -a -f' - sh 'install timeout_docker.sh /usr/local/bin/docker' } } } @@ -44,7 +42,6 @@ pipeline { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh 'sh kill_days_containers.sh' sh 'docker system prune -a -f' - sh 'install timeout_docker.sh /usr/local/bin/docker' } } } @@ -56,7 +53,6 @@ pipeline { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh 'sh kill_days_containers.sh' sh 'docker system prune -a -f' - sh 'install timeout_docker.sh /usr/local/bin/docker' } } } diff --git a/timeout_docker.sh b/timeout_docker.sh deleted file mode 100644 index f0eec4d..0000000 --- a/timeout_docker.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh -set -x -timeout -f --kill-after=1 5h /usr/bin/docker "$@" -