From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 3 Apr 2006 22:16:07 +0000 (+0000)
Subject: Add another necessary patch.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3b560623dfd44bae0f3c58752106e69573eeac43;p=pintos-anon

Add another necessary patch.
---

diff --git a/src/misc/bochs-2.2.6-jitter.patch b/src/misc/bochs-2.2.6-jitter.patch
index ad7ccb9..fe5144c 100644
--- a/src/misc/bochs-2.2.6-jitter.patch
+++ b/src/misc/bochs-2.2.6-jitter.patch
@@ -49,3 +49,13 @@ diff -urp bochs-2.2.6/main.cc bochs-2.2.6.orig/main.cc
      else if (!strcmp ("-f", argv[arg])) {
        if (++arg >= argc) BX_PANIC(("-f must be followed by a filename"));
        else bochsrc_filename = argv[arg];
+diff -up /home/blp/cs140/bochs-2.2.6/bochs.h\~ /home/blp/cs140/bochs-2.2.6/bochs.h
+--- bochs-2.2.6/bochs.h.orig	2006-01-28 08:16:02.000000000 -0800
++++ bochs-2.2.6/bochs.h	2006-04-03 14:03:54.000000000 -0700
+@@ -698,4 +698,6 @@ int bx_init_hardware ();
+ 
+ #endif
+ 
++extern int jitter;
++
+ #endif  /* BX_BOCHS_H */