From b13d37b9d8b0291992d6ff481bcf6c7ca6113f50 Mon Sep 17 00:00:00 2001 From: Robert Jacob Date: Sat, 8 Jul 2017 19:45:12 +0200 Subject: [PATCH] Rename stages. --- Jenkinsfile | 14 ++++---------- 1 file changed, 4 insertions(+), 10 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 741de6f..076f435 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,13 +1,7 @@ pipeline { agent any stages { - stage('checkout tools') { - steps { - checkout scm - } - } - - stage('checkout') { + stage('Checkout sources') { steps { checkout([ $class: 'GitSCM', @@ -36,7 +30,7 @@ pipeline { } } - stage('feeds') { + stage('Update feeds') { steps { dir("source") { sh "./scripts/feeds update -a" @@ -46,7 +40,7 @@ pipeline { } - stage('patches') { + stage('Apply patches') { steps { dir("source") { sh "cp -rf firmware/files firmware/package ." @@ -58,7 +52,7 @@ pipeline { } } - stage('build') { + stage('Build images') { steps { dir("source") { sh "../build.sh"