aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscripts/initialize.py5
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/initialize.py b/scripts/initialize.py
index c77803c..e38e2b8 100755
--- a/scripts/initialize.py
+++ b/scripts/initialize.py
@@ -43,6 +43,11 @@ def base():
def parse_kconfig():
"Execute parse_kconfig in linux_sources directory."
+ if os.path.isfile(sf(conf.symbol_map_file)) and \
+ os.path.isfile(sf(conf.rules_file)) and \
+ os.path.isfile(sf(conf.variable_count_file)):
+ print('Warning: parse_kconfig not executed. Files already exists.')
+ return
print('Executing parse_kconfig...')
env = dict(os.environ)
wd = os.getcwd()