ソースを参照

fix when STARPU_HOME is different from HOME

Samuel Thibault 9 年 前
コミット
b1d0de6d4d
共有1 個のファイルを変更した2 個の追加1 個の削除を含む
  1. 2 1
      tools/starpu_smpirun.in

+ 2 - 1
tools/starpu_smpirun.in

@@ -65,7 +65,8 @@ fi
 
 PLATFORM=$(mktemp /tmp/StarPU-MPI-platform-XXXXXXXX.xml)
 
-[ -n "$STARPU_PERF_MODEL_DIR" ] || STARPU_PERF_MODEL_DIR=$HOME/.starpu/sampling
+[ -n "$STARPU_HOME" ] || STARPU_HOME=$HOME
+[ -n "$STARPU_PERF_MODEL_DIR" ] || STARPU_PERF_MODEL_DIR=$STARPU_HOME/.starpu/sampling
 [ -n "$STARPU_HOSTNAME" ] || STARPU_HOSTNAME=$(hostname)
 NODE_PLATFORM=$STARPU_PERF_MODEL_DIR/bus/${STARPU_HOSTNAME}.platform.xml