comparison make/jprt.properties @ 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 f36e073d56a4
children e76dd894b984
comparison
equal deleted inserted replaced
10141:47766e2d2527 10195:e12c9b3740db