make/jprt.gmk
changeset 20675 ae7f1f0b5e11
parent 12254 a6afc5f91f1e
equal deleted inserted replaced
20673:6ae7d35cf89d 20675:ae7f1f0b5e11