Source jenkins/base.sh with the correct path

2012-12-07 09:59:21 -05:00
parent 724cba193a
commit 86579efc5b
3 changed files with 3 additions and 2 deletions
--- a/jenkins/base.sh
+++ b/jenkins/base.sh
@@ -1,3 +1,4 @@
+#! /bin/bash

 function github_status {
    gcli status create mitx mitx $GIT_COMMIT \
--- 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
--- 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