From bf1c2b71c2427d7e1bd922e25eb2b2c2de5d839b Mon Sep 17 00:00:00 2001
From: Fabien Poussin <fabien.poussin@gmail.com>
Date: Thu, 7 Mar 2019 12:36:45 +0100
Subject: Added Jenkinsfile

---
 Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Jenkinsfile')

diff --git a/Jenkinsfile b/Jenkinsfile
index 309acaa..2e32a9f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -23,6 +23,8 @@ pipeline {
         sh '''BRANCH=stable_18.2.x
 CH_PATH=$WORKSPACE/ChibiOS
 
+arm-none-eabi-gcc -v
+
 rm -rf $CH_PATH
 git clone -b $BRANCH --single-branch https://github.com/ChibiOS/ChibiOS.git $CH_PATH
 
-- 
cgit v1.2.3