Make release_ts a bit more userfriendly

The -f option required manually *also* setting
the -w option. This is no longer required.

While at it, simplify the code by using the /proc interface.

1 files changed, 1 insertions, 0 deletions

diff --git a/include/litmus.h b/include/litmus.h
index 677f9a9..3777088 100644
--- a/include/litmus.h
+++ b/include/litmus.h
@@ -121,6 +121,7 @@ int  requested_to_preempt(void);
 int wait_for_ts_release(void);
 int release_ts(lt_t *delay);
 int get_nr_ts_release_waiters(void);
+int read_litmus_stats(int *ready, int *total);
 
 #define __NS_PER_MS 1000000