aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjoern B. Brandenburg <bbb@cs.unc.edu>2009-07-21 23:19:35 -0400
committerBjoern B. Brandenburg <bbb@cs.unc.edu>2009-07-21 23:19:35 -0400
commit945c316dec15045accfc87336b3dc8d1ca0b5109 (patch)
treec20aae06b4635401068f76dbe4a3d4f9f3db7554
parenta1c578f34752e20cb24bfd568775efe465980da7 (diff)
Provide a clue to the users as to what might have gone wrong.
-rwxr-xr-xsetsched3
1 files changed, 2 insertions, 1 deletions
diff --git a/setsched b/setsched
index d2397b0..fbd6997 100755
--- a/setsched
+++ b/setsched
@@ -10,7 +10,8 @@ CHOICE=$1
10 10
11if [ ! -e $ADIR ]; then 11if [ ! -e $ADIR ]; then
12 KERN=`uname -s -r` 12 KERN=`uname -s -r`
13 echo "Error: LITMUS^RT not found on $KERN!" 13 echo "Error: LITMUS^RT interface not found on $KERN!"
14 echo "Are you sure you booted the correct kernel?"
14 exit 1 15 exit 1
15fi 16fi
16 17