From 548ca4e87bea9789018c9cf78a8bc9fd8a435733 Mon Sep 17 00:00:00 2001
From: Daniel Agar <daniel@agar.ca>
Date: Sun, 4 Mar 2018 14:30:29 -0500
Subject: [PATCH] Jenkins archive nuttx elf files

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 6df599395d39..0dfa9ed24f49 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -27,6 +27,7 @@ pipeline {
                       sh "make sizes"
                       sh "ccache -s"
                       archiveArtifacts(artifacts: 'build/*/*.px4', fingerprint: true)
+                      archiveArtifacts(artifacts: 'build/*/*.elf', fingerprint: true)
                     }
                   }
                 }
@@ -54,6 +55,7 @@ pipeline {
                     sh "make sizes"
                     sh "ccache -s"
                     archiveArtifacts(artifacts: 'build/*/*.px4', fingerprint: true)
+                    archiveArtifacts(artifacts: 'build/*/*.elf', fingerprint: true)
                   }
                 }
               }
@@ -79,6 +81,7 @@ pipeline {
                       sh "make sizes"
                       sh "ccache -s"
                       archiveArtifacts(artifacts: 'build/*/*.px4', fingerprint: true)
+                      archiveArtifacts(artifacts: 'build/*/*.elf', fingerprint: true)
                     }
                   }
                 }