diff --git a/.gitignore b/.gitignore
index 0ecbcd061fb..eb77b2388f4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -330,3 +330,4 @@ manual/
 
 # Ignore a directory used by dap-mode.
 .vscode
+/test/gmp.h