comparison make/jprt.properties @ 4609:a3d74cb39baa

move TypeProfileWidth definition inside the ifndef TIERED block
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 13 Feb 2012 16:04:59 +0100
parents 81f7362f7bed
children d6660fedbab5
comparison
equal deleted inserted replaced
4576:8b53e3920a6b 4609:a3d74cb39baa