From: Russ Ross <russ@dixie.edu>
Date: Thu, 25 Aug 2011 03:40:10 +0000 (-0700)
Subject: Fix Bochs build with recent GCC.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=2d5d792bc8f8a577fffd997f10bd2cea8873ff3c;hp=2d5d792bc8f8a577fffd997f10bd2cea8873ff3c

Fix Bochs build with recent GCC.

bochs-2.2.6 failed to compile with the latest version of gcc.  This commit
fixes the problem
---