comparison mx.jvmci/.pydevproject @ 22140:60d9e50d5481

only perform check for obsolete JVMCI files during full build
author Doug Simon <doug.simon@oracle.com>
date Mon, 06 Jul 2015 22:09:10 +0200
parents ed35cb998428
children
comparison
equal deleted inserted replaced
22139:ed35cb998428 22140:60d9e50d5481