make/jprt.gmk
changeset 16433 0d9b53c3b2ee
parent 12254 a6afc5f91f1e