make/jprt.gmk
changeset 12386 7b0d21b0ba98
parent 12254 a6afc5f91f1e
equal deleted inserted replaced
12385:a7cb86ab5b6e 12386:7b0d21b0ba98