Remove useless variable CONFIG_FILE_OK

diff --git a/snippets/base.omk b/snippets/base.omk
index 310887d53cc826daa58426773177afc0c0df3bd5..01514db57dd101174ce55d842c00569907bbed29 100644 (file)
--- a/snippets/base.omk
+++ b/snippets/base.omk
@@ -71,10 +71,6 @@ endif
 #=========================
 # Include the config file
 
-# FIXME: I think CONFIG_FILE_OK variable is useless. We have three
-# config files and it is not clearly defined to which file is this
-# variable related.
-ifneq ($(CONFIG_FILE_OK),y)
 ifndef CONFIG_FILE
 CONFIG_FILE      := $(OUTPUT_DIR)/config.omk
 endif
@@ -90,9 +86,7 @@ endif
 
 ifneq ($(wildcard $(CONFIG_FILE)),)
 -include $(CONFIG_FILE)
-CONFIG_FILE_OK = y
 endif
-endif #$(CONFIG_FILE_OK)
 
 
 CONFIG_FILES ?= $(wildcard $(CONFIG_FILE)-default) $(wildcard $(OUTPUT_DIR)/config.target) $(wildcard $(CONFIG_FILE))