From ae1d7f0b2610a489d1e8bf95eabe137befc3389b Mon Sep 17 00:00:00 2001
From: Michael du Breuil <wicked.shell.scripts@gmail.com>
Date: Mon, 8 Apr 2019 16:07:26 -0700
Subject: [PATCH] Tools: Add a scripting build target to CI

---
 Tools/scripts/build_ci.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Tools/scripts/build_ci.sh b/Tools/scripts/build_ci.sh
index 54bb62f8bc..b8637f9cdf 100755
--- a/Tools/scripts/build_ci.sh
+++ b/Tools/scripts/build_ci.sh
@@ -85,6 +85,14 @@ for t in $CI_BUILD_TARGET; do
         continue
     fi
 
+    if [ "$t" == "sitl-scripting" ]; then
+        echo "Building scripting"
+        $waf configure --enable-scripting
+        $waf clean
+        $waf all
+        continue
+    fi
+
     if [ "$t" == "revo-bootloader" ]; then
         echo "Building revo bootloader"
         $waf configure --board revo-mini --bootloader