From 8f842d2d466a5e39672c5c27b00818fce6da2720 Mon Sep 17 00:00:00 2001 From: Zentrik Date: Sat, 24 Aug 2024 22:48:35 +0100 Subject: [PATCH] Try again --- utilities/build_julia.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/utilities/build_julia.sh b/utilities/build_julia.sh index 0348e8a0..2452ab32 100755 --- a/utilities/build_julia.sh +++ b/utilities/build_julia.sh @@ -33,7 +33,6 @@ echo "--- Collect make options" MFLAGS=() if [[ ! -z "${USE_JULIA_PGO_LTO-}" ]]; then - MFLAGS+=( "-C contrib/pgo-lto" ) MFLAGS+=( "STAGE2_BUILD=$PWD" ) fi @@ -71,7 +70,7 @@ for FLAG in "${MFLAGS[@]}"; do done echo "--- Build Julia" -${MAKE} "${MFLAGS[@]}" +${MAKE} -C contrib/pgo-lto "${MFLAGS[@]}" echo "--- Check that the working directory is clean" if [ -n "$(git status --short)" ]; then