diff --git a/.gitignore b/.gitignore
index 5bc4a65..44efc80 100644
--- a/.gitignore
+++ b/.gitignore
@@ -42,3 +42,4 @@ perf.data.old
 
 # Tooling
 /toolchain/clang-*
+tools/check
diff --git a/tools/check b/tools/check
deleted file mode 100644
index 2f30380..0000000
Binary files a/tools/check and /dev/null differ