make/jprt.gmk
changeset 16831 7af70dd0a378
parent 12254 a6afc5f91f1e
equal deleted inserted replaced
16830:b6607ce9fa8d 16831:7af70dd0a378