make/jprt.gmk
changeset 17992 189f7f3d6acf
parent 12254 a6afc5f91f1e