X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Futils%2Fpintos;h=9206629c0c801fe53249345de01bd12d66857528;hb=dc043bf8ec6816be2a5d573092cc67981b40acdf;hp=c48dc2405f1a92dccf10d954d7c469e0de405efb;hpb=49753a6e28089392969da622a6d412538199d3b6;p=pintos-anon

diff --git a/src/utils/pintos b/src/utils/pintos
index c48dc24..9206629 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -51,7 +51,7 @@ while (@ARGV) {
 	copy_pad ($hostfn, "scratch.dsk", 512);
 
 	# Do copy.
-	run_vm ("-ci", $hostfn, $size, "-q");
+	run_vm ("-ci", $guestfn, $size, "-q");
 	exit 0;
     } elsif ($arg eq 'get') {
 	usage () if @ARGV != 1 && @ARGV != 2;
@@ -172,8 +172,8 @@ sub run_vm {
 	print BOCHSRC "megs: $mem\n";
 	print BOCHSRC "log: bochsout.txt\n";
 	if ($vga ne 'terminal') {
-	    print BOCHSRC "com1: enabled=1, dev=/dev/tty\n"
-		if $serial_stdio;
+	    print BOCHSRC "com1: enabled=1, dev=/dev/stdout\n"
+		if $serial_out;
 	    print BOCHSRC "display_library: nogui\n"
 		if $vga eq 'none';
 	} else {
@@ -191,7 +191,7 @@ sub run_vm {
 	push (@cmd, '-hdd', $disks[3]) if defined $disks[3];
 	push (@cmd, '-m', $mem);
 	push (@cmd, '-nographic') if $vga eq 'none';
-	push (@cmd, '-serial', 'stdio') if $serial_stdio && $vga ne 'none';
+	push (@cmd, '-serial', 'stdio') if $serial_out && $vga ne 'none';
 	push (@cmd, '-S') if $debug eq 'monitor';
 	push (@cmd, '-s') if $debug eq 'gdb';
 	run_command (@cmd);
@@ -284,7 +284,7 @@ sub bochs_disk_line {
     return "" if !defined $file;
     my (%geom) = disk_geometry ($file);
     return "$device: type=disk, path=$file, mode=flat, "
-	. " cylinders=$geom{C}, heads=$geom{H}, spt=$geom{S}, "
+	. "cylinders=$geom{C}, heads=$geom{H}, spt=$geom{S}, "
 	. "translation=none\n";
 }