diff options
| author | Simon Glass <sjg@chromium.org> | 2018-10-01 11:55:12 -0600 |
|---|---|---|
| committer | Simon Glass <sjg@chromium.org> | 2018-10-09 04:40:26 -0600 |
| commit | 1c5a81d8036966875dd96c5700f8c9a7121c237d (patch) | |
| tree | 5f551fa6129b6a8dd576a51cbd3ca0aca1dce47e /include | |
| parent | 2b1dc29a12e7a5256577c30a2389a6807d6d2bb6 (diff) | |
sandbox: Remove the old memory file later
When debugging sandbox it is sometimes annoying that the memory file is
deleted early on. If sandbox later crashes or we quit (using the
debugger), it is not possible to run it again with the same state since
the memory file is gone.
Remove the old memory file when sandbox exits, instead. Also add debugging
showing the memory filename.
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions