diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-04-09 00:45:36 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-04-09 00:56:32 -0700 |
| commit | d260b01748a29d15a5f1d498934aa286a017db97 (patch) | |
| tree | 310527ac2f867615d18d3eb4d6c6f598811589f8 /archive/0.vm.arc/Readme.md | |
| parent | 35af489c740a94c9326c9c416d34616e85b1bcb9 (diff) | |
| download | mu-d260b01748a29d15a5f1d498934aa286a017db97.tar.gz | |
6200 - --dump is not needed for incremental traces
This undoes commit 5764, which was ill-considered. We already had incremental prints at that point to 'last_run'. As long as we don't run out of RAM on large traces, there doesn't seem any need to print to stderr. Now '--dump' is only needed when juggling multiple traces.
Diffstat (limited to 'archive/0.vm.arc/Readme.md')
0 files changed, 0 insertions, 0 deletions