3 commits

Author	SHA1	Message	Date
Paul Ferrand	35d334bb73	Add a way to customize the configure scripts further	2019-11-30 17:00:31 +01:00
Paul Ferrand	f39a819c5e	Updated the build scripts	2019-11-29 22:45:41 +01:00
paulfd	16bcd21493	Added sanitizer targets	2019-08-29 12:25:10 +02:00