From f5a8a96c77a329a6fe175e62c6ed3c149fc3937d Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 7 Apr 2006 23:17:50 +0000
Subject: [PATCH] Fix clock: line in bochsrc.

---
 src/utils/pintos | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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})
-- 
2.30.2