make/jprt.gmk
changeset 12395 2b900319e3ae
parent 12254 a6afc5f91f1e
equal deleted inserted replaced
12348:990e362f6829 12395:2b900319e3ae