diff options
Diffstat (limited to 'results/scraper/launchpad-without-comments/1836537')
| -rw-r--r-- | results/scraper/launchpad-without-comments/1836537 | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/results/scraper/launchpad-without-comments/1836537 b/results/scraper/launchpad-without-comments/1836537 new file mode 100644 index 00000000..02726288 --- /dev/null +++ b/results/scraper/launchpad-without-comments/1836537 @@ -0,0 +1,10 @@ +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 |