comparison make/jprt.gmk @ 15568:857ab1f388a5

backout 10732e1421ee
author Bernhard Urban <bernhard.urban@jku.at>
date Fri, 09 May 2014 08:29:52 +0200
parents 109d1d265924
children fe392af93c23
comparison
equal deleted inserted replaced
15567:10732e1421ee 15568:857ab1f388a5