diff options
Diffstat (limited to 'configure.json')
| -rw-r--r-- | configure.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.json b/configure.json index 50d426594a..a7b8149469 100644 --- a/configure.json +++ b/configure.json @@ -753,7 +753,7 @@ "sanitizer": { "label": "Sanitizers", "condition": "features.sanitize_address || features.sanitize_thread || features.sanitize_memory || features.sanitize_undefined", - "output": [ "publicConfig" ] + "output": [ "sanitizer", "publicConfig" ] }, "GNUmake": { "label": "GNU make", |