| commit | 9295be1abfcf84d5bbc386c971e564c40473c2e2 | [log] [tgz] |
|---|---|---|
| author | Yingyi Bu <buyingyi@gmail.com> | Tue Sep 22 14:28:06 2015 -0700 |
| committer | Yingyi Bu <buyingyi@gmail.com> | Thu Sep 24 22:16:53 2015 -0700 |
| tree | d026d550f27bc6ad62cc3c545e5ee916866a6a7a | |
| parent | 017fdfed2d16d7bd6bf0066682dcab213046afda [diff] |
Let a run file reader have an option to delete the run file after it is read. Change-Id: Iabbd7c3e00489e2dbd8b1d4b87c7c9f81e8116b9 Reviewed-on: https://asterix-gerrit.ics.uci.edu/397 Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu> Reviewed-by: Jianfeng Jia <jianfeng.jia@gmail.com> Reviewed-by: Till Westmann <tillw@apache.org>