From: Ben Pfaff Date: Fri, 7 Apr 2006 23:17:50 +0000 (+0000) Subject: Fix clock: line in bochsrc. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f5a8a96c77a329a6fe175e62c6ed3c149fc3937d;p=pintos-anon Fix clock: line in bochsrc. --- diff --git a/src/utils/pintos b/src/utils/pintos index fe7d954..fdaa918 100755 --- a/src/utils/pintos +++ b/src/utils/pintos @@ -383,7 +383,8 @@ log: bochsout.txt panic: action=fatal EOF print BOCHSRC "gdbstub: enabled=1\n" if $debug eq 'gdb'; - print BOCHSRC "clock: sync=", $realtime ? 'realtime' : 'none', "time0=0\n"; + print BOCHSRC "clock: sync=", $realtime ? 'realtime' : 'none', + " time0=0\n"; print_bochs_disk_line ("ata0-master", 0); print_bochs_disk_line ("ata0-slave", 1); if (defined ($disks_by_iface[2]{FILENAME})