diff options
Diffstat (limited to 'tools/testing/ktest/ktest.pl')
-rwxr-xr-x | tools/testing/ktest/ktest.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/testing/ktest/ktest.pl b/tools/testing/ktest/ktest.pl index 08a875fa4251..04a3227ef5e0 100755 --- a/tools/testing/ktest/ktest.pl +++ b/tools/testing/ktest/ktest.pl | |||
@@ -1281,6 +1281,8 @@ sub process_passed { | |||
1281 | delete $config_list{$config}; | 1281 | delete $config_list{$config}; |
1282 | } | 1282 | } |
1283 | } | 1283 | } |
1284 | doprint "config copied to $outputdir/config_good\n"; | ||
1285 | run_command "cp -f $output_config $outputdir/config_good"; | ||
1284 | } | 1286 | } |
1285 | 1287 | ||
1286 | sub process_failed { | 1288 | sub process_failed { |
@@ -1358,6 +1360,8 @@ sub run_config_bisect { | |||
1358 | 1360 | ||
1359 | doprint "This config had a failure.\n"; | 1361 | doprint "This config had a failure.\n"; |
1360 | doprint "Removing these configs that were not set in this config:\n"; | 1362 | doprint "Removing these configs that were not set in this config:\n"; |
1363 | doprint "config copied to $outputdir/config_bad\n"; | ||
1364 | run_command "cp -f $output_config $outputdir/config_bad"; | ||
1361 | 1365 | ||
1362 | # A config exists in this group that was bad. | 1366 | # A config exists in this group that was bad. |
1363 | foreach my $config (keys %config_list) { | 1367 | foreach my $config (keys %config_list) { |