From fb3b976aa24d07d57b75c8ed11fb5cfd8c4eaa6c Mon Sep 17 00:00:00 2001
From: Peter Barker <pbarker@barker.dropbear.id.au>
Date: Mon, 1 Oct 2018 09:04:20 +1000
Subject: [PATCH] wscript: add enable-math-check-indexes configure option

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

diff --git a/wscript b/wscript
index 40e304a0ff..b5f3714d2e 100644
--- a/wscript
+++ b/wscript
@@ -102,6 +102,11 @@ submodules at specific revisions.
         default=None,
         help='set default parameters to embed in the firmware')
 
+    g.add_option('--enable-math-check-indexes',
+                 action='store_true',
+                 default=False,
+                 help="Enable checking of math indexes")
+
     g = opt.ap_groups['linux']
 
     linux_options = ('--prefix', '--destdir', '--bindir', '--libdir')