diff options
| -rw-r--r-- | mk/build.mk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/mk/build.mk b/mk/build.mk index 8fc7bcd68..0cc20a2e4 100644 --- a/mk/build.mk +++ b/mk/build.mk @@ -438,6 +438,12 @@ endif |sed -e "s#^config \(.*\)#\1=y#" \ >> $(ADK_TOPDIR)/.defconfig; \ fi + @if [ ! -z "$(ADK_TARGET_FLOAT)" ];then \ + grep "^config" target/config/Config.in.float.choice \ + |grep -i "$(ADK_TARGET_FLOAT)$$" \ + |sed -e "s#^config \(.*\)#\1=y#" \ + >> $(ADK_TOPDIR)/.defconfig; \ + fi @if [ ! -z "$(ADK_TARGET_ENDIAN)" ];then \ grep "^config" target/config/Config.in.endian.choice \ |grep -i "$(ADK_TARGET_ENDIAN)" \ |