From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 4 Jan 2005 07:12:08 +0000 (+0000)
Subject: Change to deal with crappy GAS bug.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=44743cfb8f178f9e23f9a31b5057f42b797b521a;hp=44743cfb8f178f9e23f9a31b5057f42b797b521a;p=pintos-anon

Change to deal with crappy GAS bug.
---