Update Jenkinsfile

Nislaco · Jul 1, 2017 · c32d50c · c32d50c
1 parent 41bc5d5
commit c32d50c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -39,7 +39,7 @@ node('docker && linux-build') {
               export HOME=$WORKSPACE
               export USER=jenkins
 
-              repo init -u https://github.com/ayufan-rock64/manifests -b default --depth=1
+              repo init -u https://github.com/ayufan-rock64/linux-manifests -b default --depth=1
 
               repo sync -j 20 -c --force-sync
             '''