comparison 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
comparison
equal deleted inserted replaced
10141:47766e2d2527 10195:e12c9b3740db