diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2008-02-04 16:19:16 -0500 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2008-02-04 16:19:16 -0500 |
| commit | ae57fe228629eff4dc9fce3fb4820da8ec6fde4f (patch) | |
| tree | 4693780550590a4b395b8ca5a82c628267a3b835 | |
| parent | 005115e1da60fee3ee01d320fe1de4645cc95bfd (diff) | |
Re-add showsched.
| -rwxr-xr-x | showsched | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/showsched b/showsched new file mode 100755 index 0000000..d6f6d3a --- /dev/null +++ b/showsched | |||
| @@ -0,0 +1,13 @@ | |||
| 1 | #!/bin/bash | ||
| 2 | # | ||
| 3 | # showsched: show the currently active plugin and exit. | ||
| 4 | |||
| 5 | ADIR=/proc/litmus/active_plugin | ||
| 6 | |||
| 7 | if [ -e $ADIR ]; then | ||
| 8 | cat $ADIR | ||
| 9 | else | ||
| 10 | KERN=`uname -s -r` | ||
| 11 | echo "Error: LITMUS^RT not found on $KERN!" | ||
| 12 | exit 1 | ||
| 13 | fi | ||