diff options
| author | Joshua Judson Rosen | 2017-04-02 17:09:42 -0400 |
|---|---|---|
| committer | Joshua Judson Rosen | 2017-04-02 17:10:51 -0400 |
| commit | bfd1d2cf18f4857b5c0af1e83e6d9116a72b6824 (patch) | |
| tree | a3d11c6dee070bbd56fac8c9caef0802213fcc82 /Makefile.am | |
| parent | main: exit with error on failure to init arena (diff) | |
| download | gnurobots-bfd1d2cf18f4857b5c0af1e83e6d9116a72b6824.tar.gz | |
exit_nicely() exits from the guile thread before it gets a chance
to exit() from the process as a whole.
And there's really nothing for the reporting-code in exit_nicely
to actually report at this point, anyway.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions