From 945c316dec15045accfc87336b3dc8d1ca0b5109 Mon Sep 17 00:00:00 2001
From: "Bjoern B. Brandenburg" <bbb@cs.unc.edu>
Date: Tue, 21 Jul 2009 23:19:35 -0400
Subject: Provide a clue to the users as to what might have gone wrong.

---
 setsched | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/setsched b/setsched
index d2397b0..fbd6997 100755
--- a/setsched
+++ b/setsched
@@ -10,7 +10,8 @@ CHOICE=$1
 
 if [ ! -e $ADIR ]; then
     KERN=`uname -s -r`
-    echo "Error: LITMUS^RT not found on $KERN!" 
+    echo "Error: LITMUS^RT interface not found on $KERN!"
+    echo "Are you sure you booted the correct kernel?"
     exit 1
 fi
 
-- 
cgit v1.2.2