+ my (@extra_files);
+ push (@extra_files, "child-syn-read") if $test eq 'syn-read';
+ for my $fn (@extra_files) {
+ return "format/put error"
+ if !xsystem ("$pintos_base_cmd put $GRADES_DIR/$fn $fn",
+ LOG => "$test/put-$fn", TIMEOUT => 60, EXPECT => 1);
+ }
+