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 |
