diff mx/mx_graal.py @ 15326:6e1d5f3e4615

mx: support comments in whitelist
author Bernhard Urban <bernhard.urban@jku.at>
date Wed, 23 Apr 2014 14:44:24 +0200
parents 25ce2866f105
children 25633b639fd7
line wrap: on
line diff
--- a/mx/mx_graal.py	Wed Apr 23 13:24:09 2014 +0200
+++ b/mx/mx_graal.py	Wed Apr 23 14:44:24 2014 +0200
@@ -966,7 +966,7 @@
     if parsed_args.whitelist:
         try:
             with open(join(_graal_home, parsed_args.whitelist)) as fp:
-                whitelist = [l.rstrip() for l in fp.readlines()]
+                whitelist = [l.rstrip() for l in fp.readlines() if not l.startswith('#')]
         except IOError:
             mx.log('warning: could not read whitelist: ' + parsed_args.whitelist)