Run shell script without executable bit set

2019-10-04 15:55:06 +04:00 · 2019-10-04 15:55:06 +04:00 · 3966e23936
commit 3966e23936
parent 37f5e4dde2
1 changed files with 1 additions and 1 deletions
--- a/configure_jenkins.groovy
+++ b/configure_jenkins.groovy
@ -102,7 +102,7 @@ platforms.each { platform ->
 			}
 		}
 		steps {
-			shell('/usr/bin/env MIRRORS_DEST=${MIRRORS_DEST} MIRRORS_SRC=${MIRRORS_SRC} PLATFORM=${PLATFORM} ./scripts/sync_alt_repo')
+			shell('/usr/bin/env MIRRORS_DEST=${MIRRORS_DEST} MIRRORS_SRC=${MIRRORS_SRC} PLATFORM=${PLATFORM} /bin/sh ./scripts/sync_alt_repo')
 		}
 	}
 }