Adding Jenkinsfile for hotbed.io

rrezel · rrezel · commit 353dc69a3f7e · 2017-02-13T18:46:53.000-08:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,6 +1,6 @@
 node('gcc') {
   stage("Checkout") {
-    git url: "https://github.com/riolet/rix", branch: "master"
+    checkout scm 
   }
   stage("Build") {
     sh "make"

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`node('gcc') {`
`2`	`2`	`stage("Checkout") {`
`3`		`- git url: "https://github.com/riolet/rix", branch: "master"`
	`3`	`+ checkout scm`
`4`	`4`	`}`
`5`	`5`	`stage("Build") {`
`6`	`6`	`sh "make"`