Fix setup logic to also work with differently named GIL forks. (#306)

boostorg · Jun 4, 2019 · 0fe841f · 0fe841f
1 parent baeac8c
commit 0fe841f
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.ci/get-boost.sh b/.ci/get-boost.sh
@@ -93,9 +93,8 @@ fi
 echo "get-boost: Deleting $PWD/libs/gil cloned with Boost superproject"
 rm -rf libs/gil
 
-echo "get-boost: Copying $BUILD_DIR to $PWD/libs"
-mkdir libs/gil
-cp -r $BUILD_DIR libs/
+echo "get-boost: Copying $BUILD_DIR to $PWD/libs/gil"
+cp -r $BUILD_DIR libs/gil
 
 if [ -d libs/gil/.git ]; then
     current_pwd=`pwd`