zhyang-dev/ThirdParty-common
1
0
Fork 0
mirror of https://develop.openfoam.com/Development/ThirdParty-common.git synced 2025-12-08 06:57:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

BUG: boost user-config.jam written into incorrect directory

Browse Source 
- mistake introduced by 11e3723f10
This commit is contained in:
Mark Olesen
2020-08-12 16:29:25 +02:00
parent f197c721c8
commit 53a1736aad
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
makeCGAL
View File

@ -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 \