make/jprt.gmk
changeset 21642 5efc900f8ecd
parent 12254 a6afc5f91f1e
equal deleted inserted replaced
21641:c8114b367cf4 21642:5efc900f8ecd