|
@@ -33,11 +33,6 @@ SCHEDULERS=`STARPU_SCHED="help" ./basic_examples/hello_world 2>&1 | awk '/\t->/
|
|
|
|
|
|
for sched in $SCHEDULERS
|
|
for sched in $SCHEDULERS
|
|
do
|
|
do
|
|
- # XXX peager often hangs, we have to fix it.
|
|
|
|
- # Let's just disable it for now.
|
|
|
|
- if [ "$sched" = "peager" ] ; then
|
|
|
|
- continue
|
|
|
|
- fi
|
|
|
|
echo "cholesky.$sched"
|
|
echo "cholesky.$sched"
|
|
STARPU_SCHED=$sched ./cholesky/cholesky_tag
|
|
STARPU_SCHED=$sched ./cholesky/cholesky_tag
|
|
check_success $?
|
|
check_success $?
|