From: Joost VandeVondele <Joost.VandeVondele@gmail.com>
Date: Sat, 27 Apr 2019 18:47:06 +0000 (+0200)
Subject: Allow for address sanitizer. (#2119)
X-Git-Url: https://git.sesse.net/?p=stockfish;a=commitdiff_plain;h=7ede1ed0716744270544dcb1ee71ca907c6d9c23

Allow for address sanitizer. (#2119)

Properly allow for sanitize=address (-fsanitize=address) as an argument to the Makefile.

No functional change
---

diff --git a/src/Makefile b/src/Makefile
index 8b9b16e4..2d6042e2 100644
--- 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"