From 0f1f5cdc3218f564c45cc623e686b8a5fe7e8c88 Mon Sep 17 00:00:00 2001
From: Julien Lecoeur <julien.lecoeur@gmail.com>
Date: Wed, 6 Dec 2017 13:04:01 +0100
Subject: [PATCH 1/3] Jenkins: build posix_sitl_default and
 nuttx_px4fmu-v5_default under ArchLinux (GCC7)

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 76ab80399521..cd5337d8d8dc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -112,6 +112,26 @@ pipeline {
             }
           }
 
+          // GCC7 tests
+          for (def option in ["posix_sitl_default", "nuttx_px4fmu-v5_default"]) {
+            def node_name = "${option}"
+
+            builds["${node_name} (GCC7)"] = {
+              node {
+                stage("Build Test ${node_name} (GCC7)") {
+                  docker.image('px4io/px4-dev-base-archlinux:2017-12-06').inside("--env CCACHE_DIR=/tmp/ccache --volume=/tmp/ccache:/tmp/ccache:rw --env CI=true") {
+                    stage("${node_name}") {
+                      checkout scm
+                      sh "make clean"
+                      sh "make ${node_name}"
+                      sh "ccache -s"
+                    }
+                  }
+                }
+              }
+            }
+          }
+
           parallel builds
         }
       }

From d54c70289faea0895e34939762836220420f83cd Mon Sep 17 00:00:00 2001
From: Julien Lecoeur <julien.lecoeur@gmail.com>
Date: Thu, 7 Dec 2017 11:15:32 +0100
Subject: [PATCH 2/3] [TO REVERT] Archlinux docker image: use tag pr-archlinux

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index cd5337d8d8dc..ef28dd12e529 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -119,7 +119,7 @@ pipeline {
             builds["${node_name} (GCC7)"] = {
               node {
                 stage("Build Test ${node_name} (GCC7)") {
-                  docker.image('px4io/px4-dev-base-archlinux:2017-12-06').inside("--env CCACHE_DIR=/tmp/ccache --volume=/tmp/ccache:/tmp/ccache:rw --env CI=true") {
+                  docker.image('px4io/px4-dev-base-archlinux:pr-archlinux').inside("--env CCACHE_DIR=/tmp/ccache --volume=/tmp/ccache:/tmp/ccache:rw --env CI=true") {
                     stage("${node_name}") {
                       checkout scm
                       sh "make clean"

From 8ef89c02f4eef6f6ef2adef302d10633412ebb05 Mon Sep 17 00:00:00 2001
From: Julien Lecoeur <jlecoeur@users.noreply.github.com>
Date: Fri, 8 Dec 2017 23:42:50 +0100
Subject: [PATCH 3/3] Jenkins: update arch image to tag 2017-12-08

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index ef28dd12e529..cababd93c4bf 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -119,7 +119,7 @@ pipeline {
             builds["${node_name} (GCC7)"] = {
               node {
                 stage("Build Test ${node_name} (GCC7)") {
-                  docker.image('px4io/px4-dev-base-archlinux:pr-archlinux').inside("--env CCACHE_DIR=/tmp/ccache --volume=/tmp/ccache:/tmp/ccache:rw --env CI=true") {
+                  docker.image('px4io/px4-dev-base-archlinux:2017-12-08').inside("--env CCACHE_DIR=/tmp/ccache --volume=/tmp/ccache:/tmp/ccache:rw --env CI=true") {
                     stage("${node_name}") {
                       checkout scm
                       sh "make clean"