- 
Committer:
Teddy Hogeborn
- 
Date:
2016-03-04 20:50:45 UTC
- 
Revision ID:
teddy@recompile.se-20160304205045-jksfb2qzv9erkf21
Only use -fsanitize=... options if they work.
* Makefile (ALL_SANITIZE_OPTIONS): New.
  (SANITIZE): Loop through all known sanitizing options and only use
              those which do not give an error.