File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -582,22 +582,27 @@ proc save_ok_main {} {
582582 }
583583 } else {
584584 foreach test $argv {
585- save_ok $test
585+ if { [lsearch [group_tests " all" ] $test ] == -1 } {
586+ puts " Error: test $test not found."
587+ } else {
588+ save_ok $test
589+ }
586590 }
587591 }
588592}
589593
594+ # hook for pvt/public sync.
590595proc save_ok { test } {
591- if { [lsearch [group_tests " all" ] $test ] == -1 } {
592- puts " Error: test $test not found."
596+ save_ok_file $test
597+ }
598+
599+ proc save_ok_file { test } {
600+ set ok_file [test_ok_file $test ]
601+ set log_file [test_log_file $test ]
602+ if { ! [file exists $log_file ] } {
603+ puts " Error: log file $log_file not found."
593604 } else {
594- set ok_file [test_ok_file $test ]
595- set log_file [test_log_file $test ]
596- if { ! [file exists $log_file ] } {
597- puts " Error: log file $log_file not found."
598- } else {
599- file copy -force $log_file $ok_file
600- }
605+ file copy -force $log_file $ok_file
601606 }
602607}
603608
You can’t perform that action at this time.
0 commit comments