make/jprt.gmk
changeset 17150 a842e8c6660a
parent 12254 a6afc5f91f1e