diff make/windows/makefiles/sanity.make @ 4572:76841bdd5f3e

(Windows) Add Graal build configurations (with GRAAL defined) and fix build command.
author Andreas Woess <andreas.woess@jku.at>
date Sat, 11 Feb 2012 23:35:44 +0100
parents 0a8e0d4345b3
children 719f7007c8e8
line wrap: on
line diff