diff options
| author | Paul E. McKenney <[email protected]> | 2020-04-09 16:10:36 -0700 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2020-05-07 10:15:29 -0700 |
| commit | 3d17ded9021e3ad949021619e5fc6da81bc6d6d0 (patch) | |
| tree | c6b6c4559765362339126d7b2435336bf183213a /scripts/gcc-plugins/randomize_layout_plugin.c | |
| parent | 6be63d7d9c149143a9af19085516ddba6ab6a2af (diff) | |
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 <[email protected]>
Diffstat (limited to 'scripts/gcc-plugins/randomize_layout_plugin.c')
0 files changed, 0 insertions, 0 deletions