diff mx/mx_graal.py @ 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 50740bac9679
children dffc37fa7157
line wrap: on
line diff