Mirrors_Framework/nuttx
1
0
Fork 0
mirror of https://github.com/apache/nuttx.git synced 2026-05-28 11:56:10 +08:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

tools/configure.sh and configure.c: Do not remove CONFIG_SIM_M32 if host is specified.

Browse Source
This commit is contained in:
anchao
2019-09-19 18:27:22 -06:00
committed by Gregory Nutt
parent e8b5dd4528
commit 03ad77f45c
2 changed files with 0 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tools/configure.c
-4
View File
@@ -1311,7 +1311,6 @@ static void set_host(const char *destconfig)
enable_feature(destconfig, "CONFIG_SIM_X8664_SYSTEMV"); enable_feature(destconfig, "CONFIG_SIM_X8664_SYSTEMV");
disable_feature(destconfig, "CONFIG_SIM_X8664_MICROSOFT"); disable_feature(destconfig, "CONFIG_SIM_X8664_MICROSOFT");
disable_feature(destconfig, "CONFIG_SIM_M32");
} }
break; break;
@@ -1331,7 +1330,6 @@ static void set_host(const char *destconfig)
enable_feature(destconfig, "CONFIG_SIM_X8664_SYSTEMV"); enable_feature(destconfig, "CONFIG_SIM_X8664_SYSTEMV");
disable_feature(destconfig, "CONFIG_SIM_X8664_MICROSOFT"); disable_feature(destconfig, "CONFIG_SIM_X8664_MICROSOFT");
disable_feature(destconfig, "CONFIG_SIM_M32");
} }
break; break;
@@ -1347,8 +1345,6 @@ static void set_host(const char *destconfig)
enable_feature(destconfig, "CONFIG_SIM_X8664_MICROSOFT"); enable_feature(destconfig, "CONFIG_SIM_X8664_MICROSOFT");
disable_feature(destconfig, "CONFIG_SIM_X8664_SYSTEMV"); disable_feature(destconfig, "CONFIG_SIM_X8664_SYSTEMV");
disable_feature(destconfig, "CONFIG_SIM_M32");
switch (g_windows) switch (g_windows)
{ {
case WINDOWS_CYGWIN: case WINDOWS_CYGWIN:
tools/configure.sh
-1
View File
@@ -326,7 +326,6 @@ if [ ! -z "$host" ]; then
sed -i -e "/CONFIG_WINDOWS_OTHER/d" ${dest_config} sed -i -e "/CONFIG_WINDOWS_OTHER/d" ${dest_config}
sed -i -e "/CONFIG_SIM_X8664_MICROSOFT/d" ${dest_config} sed -i -e "/CONFIG_SIM_X8664_MICROSOFT/d" ${dest_config}
sed -i -e "/CONFIG_SIM_X8664_SYSTEMV/d" ${dest_config} sed -i -e "/CONFIG_SIM_X8664_SYSTEMV/d" ${dest_config}
sed -i -e "/CONFIG_SIM_M32/d" ${dest_config}
case "$host" in case "$host" in
"linux") "linux")