Allow for address sanitizer. (#2119)

[stockfish] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index 8b9b16e470ca05d3a598692154b9b77be87088b6..2d6042e20226acd4cbf5bbef9a008e080c6957f3 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -481,7 +481,7 @@ config-sanity:
        @echo "Testing config sanity. If this fails, try 'make help' ..."
        @echo ""
        @test "$(debug)" = "yes" || test "$(debug)" = "no"
-       @test "$(sanitize)" = "undefined" || test "$(sanitize)" = "thread" || test "$(sanitize)" = "no"
+       @test "$(sanitize)" = "undefined" || test "$(sanitize)" = "thread" || test "$(sanitize)" = "address" || test "$(sanitize)" = "no"
        @test "$(optimize)" = "yes" || test "$(optimize)" = "no"
        @test "$(arch)" = "any" || test "$(arch)" = "x86_64" || test "$(arch)" = "i386" || \
         test "$(arch)" = "ppc64" || test "$(arch)" = "ppc" || test "$(arch)" = "armv7"