make/jprt.gmk
changeset 822 da48912b8dd7
parent 0 fd16c54261b3
child 874 638ddad10e12