aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xsetsched2
1 files changed, 1 insertions, 1 deletions
diff --git a/setsched b/setsched
index 750ccbf..bae94d4 100755
--- a/setsched
+++ b/setsched
@@ -3,7 +3,7 @@
3# setsched: facilitate changing the active scheduler plugin. 3# setsched: facilitate changing the active scheduler plugin.
4 4
5ADIR=/proc/litmus/active_plugin 5ADIR=/proc/litmus/active_plugin
6PDIR=/proc/litmus/plugins 6PDIR=/proc/litmus/plugins/loaded
7DIALOG=`which dialog` 7DIALOG=`which dialog`
8 8
9CHOICE=$1 9CHOICE=$1