fix

schnorr · Feb 24, 2024 · 5c5b392 · 5c5b392
1 parent 01231e7
commit 5c5b392
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/inst/tools/fxt2paje.sh b/inst/tools/fxt2paje.sh
@@ -19,7 +19,7 @@ if [ -z "$STARPU_FXT_SUFFIX" ];
 then
     PROF_PREFIX="prof_file_"
 else
-    PROF_PREFIX="STARPU_FXT_SUFFIX"
+    PROF_PREFIX="$STARPU_FXT_SUFFIX"
 fi
 
 if [ -z "$STARVZ_USE_PAJE_TRACE" ] || [ "$STARVZ_USE_PAJE_TRACE" -ne 1 ];