diff --git a/jenkins/base.sh b/jenkins/base.sh index c7175e6e52..1b28028541 100644 --- a/jenkins/base.sh +++ b/jenkins/base.sh @@ -1,3 +1,4 @@ +#! /bin/bash function github_status { gcli status create mitx mitx $GIT_COMMIT \ diff --git a/jenkins/test_edge.sh b/jenkins/test_edge.sh index 51d24bc6f6..cb6678c04c 100755 --- a/jenkins/test_edge.sh +++ b/jenkins/test_edge.sh @@ -3,7 +3,7 @@ set -e set -x -source base.sh +source jenkins/base.sh github_mark_failed_on_exit github_status state:pending diff --git a/jenkins/test_lms.sh b/jenkins/test_lms.sh index 13d7ffb885..257609e80d 100755 --- a/jenkins/test_lms.sh +++ b/jenkins/test_lms.sh @@ -3,7 +3,7 @@ set -e set -x -source base.sh +source jenkins/base.sh github_mark_failed_on_exit github_status state:pending