From 82dad7b7324fc55f5636fb414f91d02226a71ae1 Mon Sep 17 00:00:00 2001
From: Michael du Breuil <wicked.shell.scripts@gmail.com>
Date: Thu, 27 Sep 2018 14:59:57 -0700
Subject: [PATCH] wscript: Add enable-scripting option

---
 wscript | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/wscript b/wscript
index bb3b55783f..40e304a0ff 100644
--- a/wscript
+++ b/wscript
@@ -147,6 +147,10 @@ configuration in order to save typing.
                  default=False,
                  help="Enable SFML graphics library")
 
+    g.add_option('--enable-scripting', action='store_true',
+                 default=False,
+                 help="Enable onboard scripting engine")
+
     g.add_option('--static',
         action='store_true',
         default=False,
@@ -234,6 +238,12 @@ def configure(cfg):
     else:
         cfg.end_msg('disabled', color='YELLOW')
 
+    cfg.start_msg('Scripting')
+    if cfg.options.enable_scripting:
+        cfg.end_msg('enabled')
+    else:
+        cfg.end_msg('disabled', color='YELLOW')
+
     cfg.env.append_value('GIT_SUBMODULES', 'mavlink')
 
     cfg.env.prepend_value('INCLUDES', [