diff options
| author |   Aric Gardner <agardner@linuxfoundation.org> | 2016-08-18 13:03:59 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@172.30.200.206> | 2016-08-18 13:03:59 +0000 |
| commit | 728a635ed2163a79f02406d77fba6ab26ebe9786 (patch) | |
| tree | 355dc9b3c1cf7e967e879a8dc4a2a0dd7f1dd6ad | |
| parent | 1289ac636847e81a75c0b5ad3b81a3ac6152c419 (diff) | |
| parent | 5f0fb5c7c9a53d70e3233f98f0067a50c23c4033 (diff) | |
Merge "Jenkins connection script needs to be run from $jenkinshome"
| -rwxr-xr-x | utils/jenkins-jnlp-connect.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/utils/jenkins-jnlp-connect.sh b/utils/jenkins-jnlp-connect.sh index 8dcaf35c5..4b710cab2 100755 --- a/utils/jenkins-jnlp-connect.sh +++ b/utils/jenkins-jnlp-connect.sh @@ -38,6 +38,11 @@ main () { exit 1 fi + if [[ $(pwd) != "$jenkinshome" ]]; then + echo "This script needs to be run from the jenkins users home dir" + exit 1 + fi + if [[ -z $slave_name || -z $slave_secret ]]; then echo "slave name or secret not defined, please edit this file to define it" exit 1 |