make/jprt.gmk
changeset 6536 2694e08f83ea
parent 5743 e14fbdea5504
child 7654 a8d5f59bbae6
equal deleted inserted replaced
6535:77ffd0e75bfb 6536:2694e08f83ea