From cb54fd55459bc4b371909d2ef989584551a50580 Mon Sep 17 00:00:00 2001 From: Khyber Sen Date: Tue, 12 Nov 2024 06:04:38 -0500 Subject: [PATCH] docs: `compartmentalizing_dav1d.md`: note that `-DIA2_PERMISSIVE_MODE` is a `dav1d`-specific thing we added --- docs/compartmentalizing_dav1d.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/compartmentalizing_dav1d.md b/docs/compartmentalizing_dav1d.md index 251b02d69..3bb228d23 100644 --- a/docs/compartmentalizing_dav1d.md +++ b/docs/compartmentalizing_dav1d.md @@ -375,6 +375,9 @@ For global compile args, we add these: To detect errors around function pointers and their wrapped call gates types. * `-DIA2_PERMISSIVE_MODE=1`: If we want permissive mode, or we can disable it. + Note that this is a `#define` we added to `dav1d` specifically + to make it easier to selectively `#include `, + which is the normal IA2 way of turning on permissive mode. For global link args, we add these: