diff options
Diffstat (limited to 'Makeconfig')
-rw-r--r-- | Makeconfig | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makeconfig b/Makeconfig index 9fe664ae3a..29819363da 100644 --- a/Makeconfig +++ b/Makeconfig @@ -768,6 +768,11 @@ run-built-tests = yes endif endif +# Whether to build the static math tests +ifndef build-math-static-tests +build-math-static-tests = no +endif + # Whether to stop immediately when a test fails. Nonempty means to # stop, empty means not to stop. ifndef stop-on-test-failure |