diff mbox series

[SRU,K,2/6] UBUNTU: [Config] Use mark<ENFORCED> for CONFIG_DEVTMPFS

Message ID 20220727085445.617651-3-emil.renner.berthing@canonical.com
State New
Headers show
Series Annotation file cleanups | expand

Commit Message

Emil Renner Berthing July 27, 2022, 8:54 a.m. UTC 
The CONFIG_DEVTMPFS and CONFIG_DEVTMPS_MOUNT options have note<ENFORCED>
tags, which should most likely have been mark<ENFORCED>.

Signed-off-by: Emil Renner Berthing <emil.renner.berthing@canonical.com>
---
 debian.master/config/annotations | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
diff mbox series

Patch

diff --git a/debian.master/config/annotations b/debian.master/config/annotations
index d80373c9d525..62d3a697e4e5 100644
--- a/debian.master/config/annotations
+++ b/debian.master/config/annotations
@@ -1989,8 +1989,8 @@  CONFIG_DEBUG_TEST_DRIVER_REMOVE                 policy<{'amd64': 'n', 'arm64': '
 CONFIG_TEST_ASYNC_DRIVER_PROBE                  policy<{'amd64': 'n', 'arm64': 'n', 'armhf': 'n', 'ppc64el': 'n', 'riscv64': 'n', 's390x': 'n'}>
 CONFIG_DMA_FENCE_TRACE                          policy<{'amd64': 'n', 'arm64': 'n', 'armhf': 'n', 'ppc64el': 'n', 'riscv64': 'n', 's390x': 'n'}>
 #
-CONFIG_DEVTMPFS                                 note<ENFORCED> note<upstart requirement>
-CONFIG_DEVTMPFS_MOUNT                           note<ENFORCED> note<upstart requirement>
+CONFIG_DEVTMPFS                                 mark<ENFORCED> note<upstart requirement>
+CONFIG_DEVTMPFS_MOUNT                           mark<ENFORCED> note<upstart requirement>
 
 # Menu: Device Drivers >> Generic Driver Options >> Firmware loader