From: Godmar Back <godmar@gmail.com>
Date: Tue, 6 Jun 2006 12:48:38 +0000 (+0000)
Subject: defined 'test_name' for msg()/vmsg() to work properly
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bd18aa4d5b565826e29ccfcaa0eb2cf689cae96c;hp=bd18aa4d5b565826e29ccfcaa0eb2cf689cae96c;p=pintos-anon

defined 'test_name' for msg()/vmsg() to work properly
---