CI: Remove p4plugin jobs and config

[releng/builder.git] / jenkins-init-scripts / robot.sh

diff --git a/jenkins-init-scripts/robot.sh b/jenkins-init-scripts/robot.sh
index 5fc0579d81c08e252db395c2392b58df815f9d02..ab13038869a465e952f04523788f80ea2901551b 100755 (executable)
--- a/jenkins-init-scripts/robot.sh
+++ b/jenkins-init-scripts/robot.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 # make sure we don't require tty for sudo operations
 cat <<EOF >/etc/sudoers.d/89-jenkins-user-defaults