diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2020-04-10 02:10:36 +0300 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2020-05-07 20:15:29 +0300 |
| commit | 3d17ded9021e3ad949021619e5fc6da81bc6d6d0 (patch) | |
| tree | c6b6c4559765362339126d7b2435336bf183213a /scripts/gdb/linux/tasks.py | |
| parent | 6be63d7d9c149143a9af19085516ddba6ab6a2af (diff) | |
| download | linux-3d17ded9021e3ad949021619e5fc6da81bc6d6d0.tar.xz | |
torture: Allow --kconfig options to override --kcsan defaults
Currently, attempting to override a --kcsan default with a --kconfig
option might or might not work. However, it would be good to allow the
user to adjust the --kcsan defaults, for example, to specify a different
time for CONFIG_KCSAN_REPORT_ONCE_IN_MS. This commit therefore uses the
new config_override_param() bash function to apply the --kcsan defaults
and then apply the --kconfig options, which allows this overriding
to occur.
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'scripts/gdb/linux/tasks.py')
0 files changed, 0 insertions, 0 deletions