diff options
Diffstat (limited to 'makeopts.in')
| -rw-r--r-- | makeopts.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makeopts.in b/makeopts.in index 7d0347ddc..30bc2e274 100644 --- a/makeopts.in +++ b/makeopts.in @@ -108,6 +108,7 @@ ASTVARRUNDIR = @astvarrundir@ AST_DEVMODE=@AST_DEVMODE@ AST_DEVMODE_STRICT=@AST_DEVMODE_STRICT@ +DISABLE_XMLDOC=@DISABLE_XMLDOC@ NOISY_BUILD=@NOISY_BUILD@ AST_CODE_COVERAGE=@AST_CODE_COVERAGE@ |