make/jprt.gmk
changeset 12698 8d48f8005004
parent 12254 a6afc5f91f1e