diff mx/sanitycheck.py @ 12522:5ccee20550ea

mxtool: fixes (GRAAL-557) and code cleanups
author Mick Jordan <mick.jordan@oracle.com>
date Tue, 22 Oct 2013 15:48:45 -0700
parents 01512eb1ae7b
children b038b643a3a4
line wrap: on
line diff