Commit 449c9559 authored by Marvin Scholz's avatar Marvin Scholz

Update: Add sanitizer helper to configure

This allows easily enabling a sanitizer by passing --with-sanitizer= when configuring.
parent 0df3e0ed
Pipeline #253 failed with stage
in 11 seconds