From db6e2d17ce740e5964093e7450f9e10544801061 Mon Sep 17 00:00:00 2001 From: Daniel Agar Date: Fri, 27 Oct 2017 10:47:38 -0400 Subject: [PATCH] initial Jenkinsfile (#8201) --- Jenkinsfile | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 Jenkinsfile diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000000..9b35ce8f01 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,21 @@ +pipeline { + agent { + docker { + image 'px4io/px4-dev-simulation:2017-09-26' + args '--env=CCACHE_DISABLE --env=CI' + } + + } + stages { + stage('Quick Check') { + steps { + sh '''make distclean; +make posix_sitl_default;''' + } + } + } + environment { + CI = '1' + CCACHE_DISABLE = '1' + } +} \ No newline at end of file