summaryrefslogtreecommitdiff
path: root/util/ci/clang-tidy.sh
diff options
context:
space:
mode:
authorsfan5 <sfan5@live.de>2020-05-02 12:52:51 +0200
committerGitHub <noreply@github.com>2020-05-02 12:52:51 +0200
commit61d93988d8b44a9905451c4c288e02c04d41abb0 (patch)
treef0c20599ddc0e61e94e24521cd17851f9ed5d0d2 /util/ci/clang-tidy.sh
parente0ea87f1f32273dba2eb5421c2a8c890479ba078 (diff)
downloadminetest-61d93988d8b44a9905451c4c288e02c04d41abb0.tar.gz
minetest-61d93988d8b44a9905451c4c288e02c04d41abb0.tar.bz2
minetest-61d93988d8b44a9905451c4c288e02c04d41abb0.zip
ci: Update Github Actions workflows (#9774)
Diffstat (limited to 'util/ci/clang-tidy.sh')
-rwxr-xr-xutil/ci/clang-tidy.sh3
1 files changed, 1 insertions, 2 deletions
diff --git a/util/ci/clang-tidy.sh b/util/ci/clang-tidy.sh
index d048f54ee..bb4e99fef 100755
--- a/util/ci/clang-tidy.sh
+++ b/util/ci/clang-tidy.sh
@@ -5,8 +5,7 @@ cd cmakebuild
cmake -DCMAKE_BUILD_TYPE=Debug \
-DCMAKE_EXPORT_COMPILE_COMMANDS=ON \
-DRUN_IN_PLACE=TRUE \
- -DENABLE_GETTEXT=TRUE \
- -DENABLE_SOUND=FALSE \
+ -DENABLE_{GETTEXT,SOUND}=FALSE \
-DBUILD_SERVER=TRUE ..
make GenerateVersion