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)
commit7ede1ed0716744270544dcb1ee71ca907c6d9c23
treeeb2d7897ce82d2818b3c2ba2bf93cb4438b85bd8
parente4c1f8759dbda05687b4a503453658e3ad5ec679
Allow for address sanitizer. (#2119)

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

No functional change
src/Makefile