diff mx/sanitycheck.py @ 21610:f555efead2f2

Fix options in makefile
author Christian Wimmer <christian.wimmer@oracle.com>
date Fri, 29 May 2015 20:43:55 -0700
parents be896a1983c0
children
line wrap: on
line diff