comparison make/jprt.gmk @ 4556:1b2abdc91451

Fix an other NPE in CFGPrinterObserver
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 09 Feb 2012 13:21:42 +0100
parents 109d1d265924
children fe392af93c23
comparison
equal deleted inserted replaced
4540:f1d3800b59e1 4556:1b2abdc91451