diff make/jprt.properties @ 12773:b6e04d6fe3a7

NewMemoryAwareScheduling: rewrite to set based approach
author Bernhard Urban <bernhard.urban@jku.at>
date Mon, 18 Nov 2013 17:22:37 +0100
parents c81dd5393a5e
children 384c92148c68
line wrap: on
line diff