diff options
| author | Anton S <lfxgroove@zoho.com> | 2016-05-04 15:14:36 +0200 |
|---|---|---|
| committer | Anton S <lfxgroove@zoho.com> | 2016-05-04 15:14:36 +0200 |
| commit | 2399a4de4157f46340b283660da3ff8ea4c9e2bc (patch) | |
| tree | 89629f508d185b3b146f311a4700975b3f4ebdac /src/utils/pintos-gdb | |
| parent | 5fec8c0cea7a42b7e07b07db61caa05003cd0687 (diff) | |
| download | pintos-rs-2399a4de4157f46340b283660da3ff8ea4c9e2bc.tar.gz | |
Change the comment for longrun_nowait to be more instructive as to what one should expect when running it
Diffstat (limited to 'src/utils/pintos-gdb')
0 files changed, 0 insertions, 0 deletions