--- a/make/InitSupport.gmk	Thu Oct 26 10:39:59 2017 +0200
+++ b/make/InitSupport.gmk	Thu Oct 26 13:20:47 2017 +0200
@@ -359,23 +359,6 @@
 
   BUILD_LOG_PIPE := > >($(TEE) -a $(BUILD_LOG)) 2> >($(TEE) -a $(BUILD_LOG) >&2) && wait
 
-  # Sanity check the spec file, so it matches this source code
-  define CheckSpecSanity
-    ifneq ($$(ACTUAL_TOPDIR), $$(TOPDIR))
-      ifneq ($$(ACTUAL_TOPDIR), $$(ORIGINAL_TOPDIR))
-        ifneq ($$(ACTUAL_TOPDIR), $$(CANONICAL_TOPDIR))
-          $$(info Error: SPEC mismatch! Current working directory)
-          $$(info $$(ACTUAL_TOPDIR))
-          $$(info does not match either TOPDIR, ORIGINAL_TOPDIR or CANONICAL_TOPDIR)
-          $$(info $$(TOPDIR))
-          $$(info $$(ORIGINAL_TOPDIR))
-          $$(info $$(CANONICAL_TOPDIR))
-          $$(error Cannot continue)
-        endif
-      endif
-    endif
-  endef
-
   # Parse COMPARE_BUILD into COMPARE_BUILD_*
   # Syntax: COMPARE_BUILD=CONF=<configure options>:PATCH=<patch file>:
   #         MAKE=<make targets>:COMP_OPTS=<compare script options>: