diff options
Diffstat (limited to 'results/classifier/deepseek-2-tmp/output/other/1836537')
| -rw-r--r-- | results/classifier/deepseek-2-tmp/output/other/1836537 | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/results/classifier/deepseek-2-tmp/output/other/1836537 b/results/classifier/deepseek-2-tmp/output/other/1836537 new file mode 100644 index 000000000..f80596610 --- /dev/null +++ b/results/classifier/deepseek-2-tmp/output/other/1836537 @@ -0,0 +1,11 @@ + +Kconfig-related options not shown in ./configure --help + +tag: v4.1.0-rc0 + +I notice these options not documented by '--help': + + --with-default-devices) default_devices="yes" + --without-default-devices) default_devices="no" + +We might have other options not documented too. \ No newline at end of file |