diff options
Diffstat (limited to 'mk')
-rw-r--r-- | mk/build.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mk/build.mk b/mk/build.mk index 19388ad89..5b011a2c5 100644 --- a/mk/build.mk +++ b/mk/build.mk @@ -138,8 +138,10 @@ switch: echo "Saving configuration for target: ${ADK_TARGET}" cp -p .config .config.${ADK_TARGET} if [ -f .config.old ];then cp -p .config.old .config.old.${ADK_TARGET};fi + if [ -f .config.split ];then cp -p .config.split .config.split.${ADK_TARGET};fi if [ -f .config.${TARGET} ];then cp -p .config.${TARGET} .config; \ cp -p .config.old.${TARGET} .config.old; \ + cp -p .config.split.${TARGET} .config.split; \ echo "Setting configuration to target: ${TARGET}"; \ else echo "No old target config found";mv .config .config.bak; make TARGET=${TARGET};fi |