diff make/Makefile @ 15695:128359d7cddc

once the Graal compilation queue has been shutdown, don't process any pending compilations and be more defensive about preventing future compilations to be queued
author Doug Simon <doug.simon@oracle.com>
date Thu, 15 May 2014 22:46:45 +0200
parents 4ca6dc0799b6
children 942e4b7712e1
line wrap: on
line diff