From: Ben Pfaff Date: Tue, 30 May 2006 21:35:27 +0000 (+0000) Subject: Fix two bugs: X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=000aa464d48cc64e885137e1a8040aca75e9344a;p=pintos-anon Fix two bugs: - If -s used with GSX, really don't provide serial port. - Call File::Temp::cleanup() inside eval to cope with old versions of File::Temp that didn't have cleanup. --- diff --git a/src/utils/pintos b/src/utils/pintos index 13d7e54..ccf1037 100755 --- a/src/utils/pintos +++ b/src/utils/pintos @@ -492,7 +492,9 @@ config.version = 6 guestOS = "linux" floppy0.present = FALSE memsize = $mem +EOF + print VMX <