diff --git a/make/common/MakeBase.gmk b/make/common/MakeBase.gmk
index 7a4065d0fac..960e9985206 100644
--- a/make/common/MakeBase.gmk
+++ b/make/common/MakeBase.gmk
@@ -67,6 +67,7 @@ endef
 # In GNU Make 4.0 and higher, there is a file function for writing to files.
 ifeq (4.0, $(firstword $(sort 4.0 $(MAKE_VERSION))))
   HAS_FILE_FUNCTION := true
+  CORRECT_FUNCTION_IN_RECIPE_EVALUATION := true
 endif
 
 ##############################
diff --git a/make/common/NativeCompilation.gmk b/make/common/NativeCompilation.gmk
index b96e3df59e7..36697776aee 100644
--- a/make/common/NativeCompilation.gmk
+++ b/make/common/NativeCompilation.gmk
@@ -827,7 +827,9 @@ define SetupNativeCompilationBody
           $$(shell $(RM) $$($1_TARGET))
         endif
         $$($1_DEBUGINFO_FILES): $$($1_TARGET)
-		$$(if $$(wildcard $$@), , $$(error $$@ was not created for $$<))
+		$$(if $$(CORRECT_FUNCTION_IN_RECIPE_EVALUATION), \
+		  $$(if $$(wildcard $$@), , $$(error $$@ was not created for $$<)) \
+		)
 		$(TOUCH) $$@
 
         $1 += $$($1_DEBUGINFO_FILES)
@@ -875,7 +877,9 @@ define SetupNativeCompilationBody
         $$(shell $(RM) $$($1_TARGET))
       endif
       $$($1_IMPORT_LIBRARY): $$($1_TARGET)
-		$$(if $$(wildcard $$@), , $$(error $$@ was not created for $$<))
+		$$(if $$(CORRECT_FUNCTION_IN_RECIPE_EVALUATION), \
+		  $$(if $$(wildcard $$@), , $$(error $$@ was not created for $$<)) \
+		)
 		$(TOUCH) $$@
     endif