From 53a1736aadad0772bd51e976e59d236e89ff10a8 Mon Sep 17 00:00:00 2001 From: Mark Olesen Date: Wed, 12 Aug 2020 16:29:25 +0200 Subject: [PATCH] BUG: boost user-config.jam written into incorrect directory - mistake introduced by 11e3723f108c --- makeCGAL | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/makeCGAL b/makeCGAL index f85322c..6b46f91 100755 --- a/makeCGAL +++ b/makeCGAL @@ -265,6 +265,10 @@ else # Absolute path for --libdir ( + # Write user-config.jam into source directory + cd "$BOOST_SOURCE_DIR" || exit + export GIT_DIR="$PWD/.git" # Mask seeing our own git-repo + # Configuration options: unset buildOpt @@ -310,9 +314,6 @@ else # End of configuration options # ---------------------------- - cd "$BOOST_SOURCE_DIR" || exit - export GIT_DIR="$PWD/.git" # Mask seeing our own git-repo - rm -rf "$BOOST_ARCH_PATH" ./bootstrap.sh \