1 files changed, 13 insertions, 0 deletions

diff --git a/showsched b/showsched
new file mode 100755
index 0000000..d6f6d3a
--- /dev/null
+++ b/showsched
@@ -0,0 +1,13 @@
+#!/bin/bash
+#
+# showsched: show the currently active plugin and exit.
+
+ADIR=/proc/litmus/active_plugin
+
+if [ -e $ADIR ]; then
+    cat $ADIR
+else
+    KERN=`uname -s -r`
+    echo "Error: LITMUS^RT not found on $KERN!" 
+    exit 1
+fi