diff options
-rwxr-xr-x | setsched | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,7 +3,7 @@ | |||
3 | # setsched: facilitate changing the active scheduler plugin. | 3 | # setsched: facilitate changing the active scheduler plugin. |
4 | 4 | ||
5 | ADIR=/proc/litmus/active_plugin | 5 | ADIR=/proc/litmus/active_plugin |
6 | PDIR=/proc/litmus/plugins | 6 | PDIR=/proc/litmus/plugins/loaded |
7 | DIALOG=`which dialog` | 7 | DIALOG=`which dialog` |
8 | 8 | ||
9 | CHOICE=$1 | 9 | CHOICE=$1 |