From 016691a0679e585ee8bcfe3469e9e5064abb8c21 Mon Sep 17 00:00:00 2001 From: Zentrik Date: Sat, 24 Aug 2024 23:53:10 +0100 Subject: [PATCH] Fix again --- utilities/build_julia.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/utilities/build_julia.sh b/utilities/build_julia.sh index 2452ab32..5194e37a 100755 --- 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