lucasssvaz commented on code in PR #9400:
URL: https://github.com/apache/nuttx/pull/9400#discussion_r1218137201
##
tools/configure.c:
##
@@ -1590,6 +1596,37 @@ static void refresh(void)
}
}
+static void save_original_config(void)
+{
+ snprintf(g_buffer, BUFFER_SIZE,
lucasssvaz commented on code in PR #9400:
URL: https://github.com/apache/nuttx/pull/9400#discussion_r1218135312
##
tools/Win.mk:
##
@@ -235,6 +235,15 @@ tools\mkconfig$(HOSTEXEEXT):
$(Q) $(MAKE) -C tools -f Makefile.host mkconfig$(HOSTEXEEXT)
include\nuttx\config.h:
lucasssvaz commented on code in PR #9400:
URL: https://github.com/apache/nuttx/pull/9400#discussion_r1213202440
##
tools/configure.c:
##
@@ -1590,6 +1590,48 @@ static void refresh(void)
}
}
+static void generate_info()
+{
+ /* Append the configuration information to
lucasssvaz commented on code in PR #9400:
URL: https://github.com/apache/nuttx/pull/9400#discussion_r1212417720
##
tools/configure.c:
##
@@ -1590,6 +1590,48 @@ static void refresh(void)
}
}
+static void generate_info()
+{
+ /* Append the configuration information to
lucasssvaz commented on code in PR #9400:
URL: https://github.com/apache/nuttx/pull/9400#discussion_r1212417720
##
tools/configure.c:
##
@@ -1590,6 +1590,48 @@ static void refresh(void)
}
}
+static void generate_info()
+{
+ /* Append the configuration information to
lucasssvaz commented on code in PR #9400:
URL: https://github.com/apache/nuttx/pull/9400#discussion_r1212088193
##
tools/configure.sh:
##
@@ -307,3 +309,12 @@ fi
# reconstitued before they can be used.
${TOPDIR}/tools/sethost.sh $host $*
+
+# Update the
lucasssvaz commented on code in PR #9400:
URL: https://github.com/apache/nuttx/pull/9400#discussion_r1212056104
##
tools/configure.c:
##
@@ -1590,6 +1590,48 @@ static void refresh(void)
}
}
+static void generate_info()
+{
+ /* Append the configuration information to
lucasssvaz commented on code in PR #9400:
URL: https://github.com/apache/nuttx/pull/9400#discussion_r1212035355
##
tools/configure.sh:
##
@@ -307,3 +309,12 @@ fi
# reconstitued before they can be used.
${TOPDIR}/tools/sethost.sh $host $*
+
+# Update the
lucasssvaz commented on code in PR #9400:
URL: https://github.com/apache/nuttx/pull/9400#discussion_r1212032639
##
tools/configure.c:
##
@@ -1590,6 +1590,48 @@ static void refresh(void)
}
}
+static void generate_info()
+{
+ /* Append the configuration information to