diff --git a/.gitignore b/.gitignore
index 66285f410d55c7fdfb6a60dfa70ef9bfd6e03157..7b462603c426fdba566158d222c6dbf8875e7346 100644
--- a/.gitignore
+++ b/.gitignore
@@ -75,3 +75,4 @@ _build
 (??)
 /_build/
 /case_studies/wookey/loader/gen.c
+/case_studies/wookey/loader/path.mk