diff options
Diffstat (limited to 'setsched')
-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 | ||