Lines Matching refs:checkpoint
11 # TEST the -c (checkpoint) option. Make sure that -c and
37 foreach option { checkpoint nocheckpoint } {
38 if { $option == "checkpoint" } {
40 set msg "with checkpoint"
43 set msg "without checkpoint"
90 # You may not specify both -d (data_dir) and -c (checkpoint).
92 if { $option == "checkpoint" } {
116 if { $option == "checkpoint" } {
133 if { $option == "checkpoint" } {
160 if { $option == "checkpoint" } {
184 if { $option == "checkpoint" } {