diff options
author | sfan5 <sfan5@live.de> | 2020-05-02 12:52:51 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-02 12:52:51 +0200 |
commit | 61d93988d8b44a9905451c4c288e02c04d41abb0 (patch) | |
tree | f0c20599ddc0e61e94e24521cd17851f9ed5d0d2 /util/ci/clang-tidy.sh | |
parent | e0ea87f1f32273dba2eb5421c2a8c890479ba078 (diff) | |
download | minetest-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-x | util/ci/clang-tidy.sh | 3 |
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 |