From 21cfe59ff7b10a61dabe26cd3dbfb7a255e1f5e8 Mon Sep 17 00:00:00 2001
From: David Goldblatt <davidgoldblatt@fb.com>
Date: Fri, 22 Mar 2019 17:08:53 -0700
Subject: Safety checks: Run tests by default

---
 scripts/gen_run_tests.py | 1 +
 1 file changed, 1 insertion(+)

(limited to 'scripts/gen_run_tests.py')

diff --git a/scripts/gen_run_tests.py b/scripts/gen_run_tests.py
index 5052b3e0..a414f812 100755
--- a/scripts/gen_run_tests.py
+++ b/scripts/gen_run_tests.py
@@ -40,6 +40,7 @@ possible_config_opts = [
     '--enable-debug',
     '--enable-prof',
     '--disable-stats',
+    '--enable-opt-safety-checks',
 ]
 if bits_64:
     possible_config_opts.append('--with-lg-vaddr=56')
-- 
cgit v1.2.3