diff options
Diffstat (limited to 'conf/layer.conf')
-rw-r--r-- | conf/layer.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/conf/layer.conf b/conf/layer.conf index 87a28de7..4c2cf5fc 100644 --- a/conf/layer.conf +++ b/conf/layer.conf | |||
@@ -29,4 +29,4 @@ SIGGEN_EXCLUDERECIPES_ABISAFE += " \ | |||
29 | " | 29 | " |
30 | 30 | ||
31 | # Required by openmp-rtos "docs" target | 31 | # Required by openmp-rtos "docs" target |
32 | HOSTTOOLS += "doxygen" | 32 | HOSTTOOLS_NONFATAL += "doxygen" |