make/jprt.gmk
changeset 13520 a1ba7784ef54
parent 12254 a6afc5f91f1e