make/jprt.gmk
changeset 20123 e12d9acdc289
parent 12254 a6afc5f91f1e
equal deleted inserted replaced
20122:02f38d2ee4f3 20123:e12d9acdc289