- my ($pintos_base_cmd) =
- "pintos "
- . "--os-disk=pintos/src/$hw/build/os.dsk "
- . "--fs-disk=output/$test/fs.dsk "
- . "--swap-disk=output/$test/swap.dsk "
- . "-v";
- $result = run_pintos ("$pintos_base_cmd put -f $GRADES_DIR/$test $test",
+ my (@base_opts) = ("--os-disk=pintos/src/$hw/build/os.dsk",
+ "--fs-disk=output/$test/fs.dsk",
+ "--swap-disk=output/$test/swap.dsk",
+ "-v");
+ $result = run_pintos ([@base_opts,
+ "put", "-f", "$GRADES_DIR/$test", $test],