From 3966e239365b70febb295b9ec66f4df060deecc2 Mon Sep 17 00:00:00 2001
From: Igor Chudov <nir@altlinux.org>
Date: Fri, 4 Oct 2019 15:55:06 +0400
Subject: [PATCH] Run shell script without executable bit set

---
 configure_jenkins.groovy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure_jenkins.groovy b/configure_jenkins.groovy
index e8ee6a3..9c1a175 100644
--- 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')
 		}
 	}
 }