summaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rw-r--r--scripts/lib/devtool/standard.py6
1 files changed, 4 insertions, 2 deletions
diff --git a/scripts/lib/devtool/standard.py b/scripts/lib/devtool/standard.py
index 52efeae938..bab644b83a 100644
--- a/scripts/lib/devtool/standard.py
+++ b/scripts/lib/devtool/standard.py
@@ -936,8 +936,10 @@ def modify(args, config, basepath, workspace):
936 '}\n') 936 '}\n')
937 if rd.getVarFlag('do_menuconfig','task'): 937 if rd.getVarFlag('do_menuconfig','task'):
938 f.write('\ndo_configure_append() {\n' 938 f.write('\ndo_configure_append() {\n'
939 ' cp ${B}/.config ${S}/.config.baseline\n' 939 ' if [ ! ${DEVTOOL_DISABLE_MENUCONFIG} ]; then\n'
940 ' ln -sfT ${B}/.config ${S}/.config.new\n' 940 ' cp ${B}/.config ${S}/.config.baseline\n'
941 ' ln -sfT ${B}/.config ${S}/.config.new\n'
942 ' fi\n'
941 '}\n') 943 '}\n')
942 if initial_rev: 944 if initial_rev:
943 f.write('\n# initial_rev: %s\n' % initial_rev) 945 f.write('\n# initial_rev: %s\n' % initial_rev)