diff --git a/devtools/.gitignore b/devtools/.gitignore
index 9f95803ce..b3ec165fd 100644
--- a/devtools/.gitignore
+++ b/devtools/.gitignore
@@ -17,3 +17,4 @@ mkquery
 onion
 route
 topology
+fp16