From ada743d904d2b684e57709705da33ab6d86eb255 Mon Sep 17 00:00:00 2001
From: Michal Sojka <sojkam1@fel.cvut.cz>
Date: Fri, 2 Apr 2010 15:25:34 +0200
Subject: [PATCH] Remove useless variable CONFIG_FILE_OK

---
 snippets/base.omk | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/snippets/base.omk b/snippets/base.omk
index 310887d..01514db 100644
--- 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))
-- 
2.39.2