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 /setsched | |
| parent | a1c578f34752e20cb24bfd568775efe465980da7 (diff) | |
Provide a clue to the users as to what might have gone wrong.
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 | ||
