update an url

lrytz · lrytz · commit 3dc30b81a7e8 · 2017-03-08T15:32:07.000+01:00
diff --git a/run-locally b/run-locally
@@ -4,7 +4,7 @@ scriptDir="$( cd "$( dirname "$0" )" && pwd )"
 
 function latestNightly() {
   >&2 echo "No Scala version specified. Using latest nightly."
-  url='https://scala-ci.typesafe.com/job/scala-2.12.x-integrate-bootstrap/lastSuccessfulBuild/artifact/jenkins.properties/*view*/'
+  url='https://scala-ci.typesafe.com/job/scala-2.13.x-integrate-bootstrap/lastSuccessfulBuild/artifact/jenkins.properties/*view*/'
   curl -f -s -L $url | grep ^version= | cut -d= -f2
 }
 

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ scriptDir="$( cd "$( dirname "$0" )" && pwd )"`
`4`	`4`
`5`	`5`	`function latestNightly() {`
`6`	`6`	`>&2 echo "No Scala version specified. Using latest nightly."`
`7`		`- url='https://scala-ci.typesafe.com/job/scala-2.12.x-integrate-bootstrap/lastSuccessfulBuild/artifact/jenkins.properties/view/'`
	`7`	`+ url='https://scala-ci.typesafe.com/job/scala-2.13.x-integrate-bootstrap/lastSuccessfulBuild/artifact/jenkins.properties/view/'`
`8`	`8`	`curl -f -s -L $url \| grep ^version= \| cut -d= -f2`
`9`	`9`	`}`
`10`	`10`