Allow for address sanitizer. (#2119)
authorJoost VandeVondele <Joost.VandeVondele@gmail.com>
Sat, 27 Apr 2019 18:47:06 +0000 (20:47 +0200)
committerMarco Costalba <mcostalba@users.noreply.github.com>
Sat, 27 Apr 2019 18:47:06 +0000 (20:47 +0200)
Properly allow for sanitize=address (-fsanitize=address) as an argument to the Makefile.

No functional change

src/Makefile

index 8b9b16e470ca05d3a598692154b9b77be87088b6..2d6042e20226acd4cbf5bbef9a008e080c6957f3 100644 (file)
@@ -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"