[0/8] Clean up ravenscar-thread.c

Message ID 20190207094016.368-1-tom@tromey.com
Headers show
Series
  • Clean up ravenscar-thread.c
Related show

Message

Tom Tromey Feb. 7, 2019, 9:40 a.m.
This series cleans up a few issues that I noticed in
ravenscar-thread.c.  Most of it is fairly straightforward, with some
patches being trivial.

There is one more general change in here, to add a push_target
overload.  See patch #6.

Finally, this series fixes a bug in ravenscar-thread, where wildcard
requests (to resume or wait) would not be respected.  This caused
problems when testing with qemu.

I tested this using the AdaCore internal test suite, which has some
Ravenscar tests.

Tom