make/jprt.gmk
changeset 1241 495a689dfc36
parent 874 638ddad10e12
child 1215 00ad557cab71
equal deleted inserted replaced
1232:7128121645f7 1241:495a689dfc36