diff --git a/.gitignore b/.gitignore
index 807374fd7..712e6868c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -56,3 +56,5 @@ doc/manual/build
 doc/manual/source/_build
 
 run/results.js
+
+Make.mach.claire-linux