diff options
| author | Fabien Chouteau <chouteau@adacore.com> | 2011-11-03 16:10:04 +0100 |
|---|---|---|
| committer | Blue Swirl <blauwirbel@gmail.com> | 2011-11-19 11:22:57 +0000 |
| commit | 96d922a654f4b5a806af43d6dc6fa7c1becbbac6 (patch) | |
| tree | 93da28bba54254011b814dbb611b232e4bb7be2a /.gitmodules | |
| parent | 9643c25f8d67646857159d6fc021b07e7a659192 (diff) | |
Improve "ta 0" shutdown
This patch replace the previous implementation with this simplified and
more complete version (no shutdown when psret == 1).
Signed-off-by: Fabien Chouteau <chouteau@adacore.com>
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions