From ae57fe228629eff4dc9fce3fb4820da8ec6fde4f Mon Sep 17 00:00:00 2001
From: "Bjoern B. Brandenburg" <bbb@cs.unc.edu>
Date: Mon, 4 Feb 2008 16:19:16 -0500
Subject: Re-add showsched.

---
 showsched | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100755 showsched

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
-- 
cgit v1.2.2