diff options
Diffstat (limited to 'util')
| -rwxr-xr-x | util/ci/build.sh | 4 | ||||
| -rwxr-xr-x | util/ci/clang-tidy.sh | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/util/ci/build.sh b/util/ci/build.sh index ba77cd645..32b5c92a7 100755 --- a/util/ci/build.sh +++ b/util/ci/build.sh @@ -1,7 +1,7 @@ #! /bin/bash -e -mkdir cmakebuild -cd cmakebuild +mkdir build +cd build cmake -DCMAKE_BUILD_TYPE=Debug \ -DRUN_IN_PLACE=TRUE -DENABLE_GETTEXT=TRUE \ -DBUILD_SERVER=TRUE ${CMAKE_FLAGS} .. diff --git a/util/ci/clang-tidy.sh b/util/ci/clang-tidy.sh index bb4e99fef..74578eeac 100755 --- a/util/ci/clang-tidy.sh +++ b/util/ci/clang-tidy.sh @@ -1,7 +1,7 @@ #! /bin/bash -eu -mkdir -p cmakebuild -cd cmakebuild +mkdir -p build +cd build cmake -DCMAKE_BUILD_TYPE=Debug \ -DCMAKE_EXPORT_COMPILE_COMMANDS=ON \ -DRUN_IN_PLACE=TRUE \ @@ -12,6 +12,6 @@ make GenerateVersion cd .. ./util/ci/run-clang-tidy.py \ - -clang-tidy-binary=clang-tidy-9 -p cmakebuild \ + -clang-tidy-binary=clang-tidy-9 -p build \ -quiet -config="$(cat .clang-tidy)" \ 'src/.*' |