aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Jenkinsfile6
1 files changed, 4 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 1fe1b83..8304e12 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -21,6 +21,10 @@ echo $CHC_PATH'''
}
}
+ environment {
+ CH_PATH = '$WORKSPACE/ChibiOS'
+ CHC_PATH = '$WORKSPACE'
+ }
steps {
sh '''arm-none-eabi-gcc -v
@@ -36,7 +40,5 @@ for i in *.7z; do 7z x -y $i; done'''
}
environment {
CH_BRANCH = 'stable_18.2.x'
- CH_PATH = '$WORKSPACE/ChibiOS'
- CHC_PATH = '$WORKSPACE'
}
} \ No newline at end of file