diff options
author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2009-07-21 23:19:35 -0400 |
---|---|---|
committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2009-07-21 23:19:35 -0400 |
commit | 945c316dec15045accfc87336b3dc8d1ca0b5109 (patch) | |
tree | c20aae06b4635401068f76dbe4a3d4f9f3db7554 | |
parent | a1c578f34752e20cb24bfd568775efe465980da7 (diff) |
Provide a clue to the users as to what might have gone wrong.
-rwxr-xr-x | setsched | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -10,7 +10,8 @@ CHOICE=$1 | |||
10 | 10 | ||
11 | if [ ! -e $ADIR ]; then | 11 | if [ ! -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 |
15 | fi | 16 | fi |
16 | 17 | ||