make/jprt.gmk
changeset 21768 b7dba4cde1c6
parent 12254 a6afc5f91f1e
equal deleted inserted replaced
21767:41eaa9a17059 21768:b7dba4cde1c6