| commit | f4c9c4033b669ab615e08674da630101c3d7ed94 | [log] [tgz] |
|---|---|---|
| author | Zack Williams <zdw@opennetworking.org> | Wed Jun 27 14:58:43 2018 -0700 |
| committer | Zack Williams <zdw@opennetworking.org> | Wed Jun 27 14:58:43 2018 -0700 |
| tree | 6e46f8e4272ad9a55f402f888d034bbaa2686b19 | |
| parent | a6859ac877ad914e6884d3c387a727729b79730f [diff] [blame] |
Updates for jenkins DNS change Change-Id: I9db66fc720885b9d79afc2e11b25010da0b483af
diff --git a/jjb/shell/jflint.sh b/jjb/shell/jflint.sh index e7b76f0..0972793 100755 --- a/jjb/shell/jflint.sh +++ b/jjb/shell/jflint.sh
@@ -20,7 +20,7 @@ set -e -u -o pipefail -JENKINS_URL=https://jenkins-new.opencord.org/ +JENKINS_URL=https://jenkins.opencord.org/ JF_LIST=() # if no args, and there's a Jenkinsfile in cwd, check it