Browse Source

schedulers.sh: Don't always fail; use portable shell.

Ludovic Courtès 13 years ago
parent
commit
ad1b6634c6
1 changed files with 2 additions and 4 deletions
  1. 2 4
      examples/scheduler/schedulers.sh

+ 2 - 4
examples/scheduler/schedulers.sh

@@ -18,12 +18,12 @@
 check_success()
 {
     if [ $1 != 0 ] ; then
-	echo "failure"
+	echo "failure" >&2
         exit $1
     fi
 }
 
-SCHEDULERS=$(STARPU_SCHED="help" ./basic_examples/hello_world 2>&1 | awk '/->/ {print $1}')
+SCHEDULERS=`STARPU_SCHED="help" ./basic_examples/hello_world 2>&1 | awk '/->/ {print $1}'`
 
 for sched in $SCHEDULERS
 do
@@ -31,5 +31,3 @@ do
     STARPU_SCHED=$sched ./cholesky/cholesky_tag
     check_success $?
 done
-
-exit 1