From f32eb725333dc842396bbf674fb28b59c1884907 Mon Sep 17 00:00:00 2001
From: Heejin Ahn <aheejin@gmail.com>
Date: Sat, 27 Apr 2019 16:42:08 -0700
Subject: Finally?

---
 clang-tidy-diff.sh | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'clang-tidy-diff.sh')

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)
-- 
cgit v1.2.3