From de049dc80c4b2365cf5045509207922c90ffdd75 Mon Sep 17 00:00:00 2001
From: David Brown <dave.github@brownsmeet.com>
Date: Mon, 5 Dec 2016 17:23:34 +0000
Subject: [PATCH] Add OPM_InstallDir to ignored differences between bootstrap
 and installable builds.

---
 src/tools/make/ignore | 1 +
 1 file changed, 1 insertion(+)

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)