ci/build.sh: CMake: use pushd and popd instead of cd

diff --git a/ci/build.sh b/ci/build.sh
index 990a3b0998b47de040faa7289617f9d7765472ed..5667bad5663fe4e5d36d4d36769cbd2d2a219fb2 100755 (executable)
--- 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}/