Fix again

JuliaCI · Aug 24, 2024 · 016691a · 016691a
1 parent 8f842d2
commit 016691a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/utilities/build_julia.sh b/utilities/build_julia.sh
@@ -33,6 +33,7 @@ echo "--- Collect make options"
 MFLAGS=()
 
 if [[ ! -z "${USE_JULIA_PGO_LTO-}" ]]; then
+    MFLAGS+=( "-Ccontrib/pgo-lto" )
     MFLAGS+=( "STAGE2_BUILD=$PWD" )
 fi
 
@@ -70,7 +71,7 @@ for FLAG in "${MFLAGS[@]}"; do
 done
 
 echo "--- Build Julia"
-${MAKE} -C contrib/pgo-lto "${MFLAGS[@]}"
+${MAKE} "${MFLAGS[@]}"
 
 echo "--- Check that the working directory is clean"
 if [ -n "$(git status --short)" ]; then