|
@@ -31,7 +31,7 @@ for sched in $SCHEDULERS
|
|
do
|
|
do
|
|
# XXX peager often hangs, we have to fix it.
|
|
# XXX peager often hangs, we have to fix it.
|
|
# Let's just disable it for now.
|
|
# Let's just disable it for now.
|
|
- if [ "$sched" == "peager" ] ; then
|
|
|
|
|
|
+ if [ "$sched" = "peager" ] ; then
|
|
continue
|
|
continue
|
|
fi
|
|
fi
|
|
echo "cholesky.$sched"
|
|
echo "cholesky.$sched"
|