# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1426113398 -3600
# Node ID c70ef0d09be9510675746513d2dcd1eb79c9e7a2
# Parent  09a22ce2e44255e86de409b40b636a078f29f053
use the 'jacoco=exclude' project property when deciding which directories to include in JaCoCo coverage reports

diff -r 09a22ce2e442 -r c70ef0d09be9 mx/mx_graal.py
--- a/mx/mx_graal.py	Wed Mar 11 23:27:51 2015 +0100
+++ b/mx/mx_graal.py	Wed Mar 11 23:36:38 2015 +0100
@@ -2203,6 +2203,9 @@
 
     includedirs = set()
     for p in mx.projects():
+        projsetting = getattr(p, 'jacoco', '')
+        if projsetting == 'exclude':
+            continue
         for include in includes:
             if include in p.dir:
                 includedirs.add(p.dir)