diff mx/mx_graal_makefile.py @ 21610:f555efead2f2

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