diff --git a/src/tools/make/ignore b/src/tools/make/ignore
index 42554f00..8985991b 100644
--- a/src/tools/make/ignore
+++ b/src/tools/make/ignore
@@ -1,6 +1,7 @@
 ^/\* voc +
 Configuration_
 OPM_ResourceDir
+OPM_InstallDir
 __MOVE.* cmd,
 OPM_(IntSize|PointerSize|Alignment) =
 Strings_Append.+void\*\)(cmd|OPM_OBERON|extTools_comp)