From a10113bc682eb6c7b0d20edbbaa04e3d637531ad Mon Sep 17 00:00:00 2001 From: Magnus Jacobsson Date: Wed, 15 Sep 2021 19:04:28 +0200 Subject: [PATCH] ci/build.sh: CMake: use pushd and popd instead of cd --- ci/build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/build.sh b/ci/build.sh index 990a3b099..5667bad56 100755 --- a/ci/build.sh +++ b/ci/build.sh @@ -28,11 +28,11 @@ mkdir -p ${DIR}/source build_system=${build_system:-autotools} if [ "${build_system}" = "cmake" ]; then mkdir build - cd build + pushd build cmake ${CMAKE_OPTIONS:-} .. cmake --build . cpack - cd .. + popd if [ "${OSTYPE}" = "linux-gnu" ]; then if [ "${ID_LIKE:-}" = "debian" ]; then mv build/*.deb ${DIR}/os/${ARCH}/ -- 2.40.0