diff --git a/src/.jenkins_builds b/src/.jenkins_builds index dd85eb8..324d2cb 100644 --- a/src/.jenkins_builds +++ b/src/.jenkins_builds @@ -55,7 +55,7 @@ pipeline { retryWithBackoff(2, 5) { sh 'scripts/run_tests.sh' } retryWithBackoff(2, 5) { sh ''' - scripts/run_tests.sh '' '' '' '' 1 1 + scripts/run_tests.sh '' '' '' 1 1 ''' } retryWithBackoff(2, 5) { sh 'scripts/run_tests.sh aarch64' } @@ -68,7 +68,7 @@ pipeline { script { retryWithBackoff(2, 5) { sh ''' - scripts/run_tests.sh '' '' '' '' 1 1 + scripts/run_tests.sh '' '' '' 1 1 ''' } }