diff make/jprt.gmk @ 10195:e12c9b3740db

8012260: ciReplay: Include PID into the name of replay data file Reviewed-by: kvn, twisti
author vlivanov
date Thu, 25 Apr 2013 11:02:32 -0700
parents 109d1d265924
children fe392af93c23
line wrap: on
line diff