comparison make/jprt.gmk @ 14904:162d8fe89017

Revert 3e9a8ef2e0e1.
author Josef Eisl <josef.eisl@jku.at>
date Mon, 31 Mar 2014 18:05:20 +0200
parents 109d1d265924
children fe392af93c23
comparison
equal deleted inserted replaced
14903:f729be5acf8e 14904:162d8fe89017