diff options
Diffstat (limited to 'scripts/lib/devtool/standard.py')
-rw-r--r-- | scripts/lib/devtool/standard.py | 6 |
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) |