Fix again

JuliaCI · Aug 24, 2024 · 94f7c00 · 94f7c00
1 parent 92b9480
commit 94f7c00
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
 
@@ -58,7 +59,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