make/jprt.gmk
changeset 17992 189f7f3d6acf
parent 12254 a6afc5f91f1e
equal deleted inserted replaced
17991:4a8c5120a8d4 17992:189f7f3d6acf