Browse Source

fix exporting STARPU_HOSTNAME

Samuel Thibault 6 years ago
parent
commit
712e265261
1 changed files with 1 additions and 1 deletions
  1. 1 1
      examples/cholesky/cholesky.sh

+ 1 - 1
examples/cholesky/cholesky.sh

@@ -18,7 +18,7 @@
 ROOT=${0%.sh}
 ROOT=${0%.sh}
 #[ -n "$STARPU_SCHEDS" ] || STARPU_SCHEDS=`$(dirname $0)/../../tools/starpu_sched_display`
 #[ -n "$STARPU_SCHEDS" ] || STARPU_SCHEDS=`$(dirname $0)/../../tools/starpu_sched_display`
 [ -n "$STARPU_SCHEDS" ] || STARPU_SCHEDS="dmdas modular-heft modular-heft-prio dmdar dmda dmdasd prio lws"
 [ -n "$STARPU_SCHEDS" ] || STARPU_SCHEDS="dmdas modular-heft modular-heft-prio dmdar dmda dmdasd prio lws"
-[ -n "$STARPU_HOSTNAME" ] || STARPU_HOSTNAME=mirage
+[ -n "$STARPU_HOSTNAME" ] || export STARPU_HOSTNAME=mirage
 unset MALLOC_PERTURB_
 unset MALLOC_PERTURB_
 
 
 (
 (