diff options
| -rw-r--r-- | mk/build.mk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mk/build.mk b/mk/build.mk index fc293bcfa..671335799 100644 --- a/mk/build.mk +++ b/mk/build.mk @@ -141,6 +141,11 @@ POSTCONFIG= -@\ if [ $$cleandir -eq 1 ];then \ echo "You should rebuild with 'make cleansystem'";\ fi; \ + if [ "$$(grep ^ADK_TARGET_KERNEL_USE_DEFCONFIG .config)" ];then \ + if [ "$$(grep ^ADK_TARGET_KERNEL_DEFCONFIG .config|awk -F= '{print $$2}')" == '""' ];then \ + echo "custom Linux defconfig name missing";\ + fi; \ + fi; \ if [ $$rebuild -eq 1 ];then \ cp .config .config.old;\ fi; \ |