Skip to content

Commit

Permalink
CI: Create build directory before building
Browse files Browse the repository at this point in the history
Older versions of cmake don't seem to handle the -B option in quite the
same way.
  • Loading branch information
jonbinney committed Jun 20, 2021
1 parent 3008001 commit 6df3d9d
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion ci.sh
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,8 @@ set -e
# Should be run from the root directory of the repo.
BUILD_DIR=build

cmake -B ${BUILD_DIR} -DCATKIN_ENABLE_TESTING=1
mkdir -p ${BUILD_DIR}
(cd ${BUILD_DIR} && cmake .. -DCATKIN_ENABLE_TESTING=1)

# Build.
make -C ${BUILD_DIR}
Expand Down

0 comments on commit 6df3d9d

Please sign in to comment.