diff options
| author | Heejin Ahn <aheejin@gmail.com> | 2019-04-27 16:42:08 -0700 |
|---|---|---|
| committer | Heejin Ahn <aheejin@gmail.com> | 2019-04-27 16:42:08 -0700 |
| commit | f32eb725333dc842396bbf674fb28b59c1884907 (patch) | |
| tree | c36c1d70047c509f4a6b15149f4e5761f36fc50d /clang-tidy-diff.sh | |
| parent | 0c0975902b2b8478c051f5f58d421dfbb7f880ed (diff) | |
| download | binaryen-f32eb725333dc842396bbf674fb28b59c1884907.tar.gz binaryen-f32eb725333dc842396bbf674fb28b59c1884907.tar.bz2 binaryen-f32eb725333dc842396bbf674fb28b59c1884907.zip | |
Finally?
Diffstat (limited to 'clang-tidy-diff.sh')
| -rwxr-xr-x | clang-tidy-diff.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/clang-tidy-diff.sh b/clang-tidy-diff.sh index ac9de4007..4d62d95c6 100755 --- a/clang-tidy-diff.sh +++ b/clang-tidy-diff.sh @@ -1,4 +1,11 @@ #!/bin/bash + +# In settings in which build directory is different than binaryen/, we don't +# don't have this file in binaryen/, so we skip the test. +if [ ! -f compile_commands.json ] + exit 0 +fi + CLANG_DIR=$(dirname $(dirname $(which clang-tidy))) CLANG_TIDY_DIFF=$CLANG_DIR/share/clang/clang-tidy-diff.py MERGE_BASE=$(git merge-base master HEAD) |