mirror of
https://github.com/apache/nuttx.git
synced 2026-06-02 01:21:26 +08:00
tools/configure.sh: Don't distclean if no config was already in place.
This commit is contained in:
+4
-4
@@ -40,7 +40,7 @@ USAGE="
|
|||||||
USAGE: ${0} [-E] [-e] [-l|m|c|u|g|n] [-a <app-dir>] <board-name>:<config-name> [make-opts]
|
USAGE: ${0} [-E] [-e] [-l|m|c|u|g|n] [-a <app-dir>] <board-name>:<config-name> [make-opts]
|
||||||
|
|
||||||
Where:
|
Where:
|
||||||
-E enforces distclean.
|
-E enforces distclean if already configured.
|
||||||
-e performs distclean if configuration changed.
|
-e performs distclean if configuration changed.
|
||||||
-l selects the Linux (l) host environment.
|
-l selects the Linux (l) host environment.
|
||||||
-m selects the macOS (m) host environment.
|
-m selects the macOS (m) host environment.
|
||||||
@@ -171,11 +171,10 @@ if [ ! -r ${src_config} ]; then
|
|||||||
exit 5
|
exit 5
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
if [ -r ${dest_config} ]; then
|
||||||
if [ "X${enforce_distclean}" = "Xy" ]; then
|
if [ "X${enforce_distclean}" = "Xy" ]; then
|
||||||
make -C ${TOPDIR} distclean $*
|
make -C ${TOPDIR} distclean $*
|
||||||
fi
|
else
|
||||||
|
|
||||||
if [ -r ${dest_config} ]; then
|
|
||||||
if cmp -s ${src_config} ${backup_config}; then
|
if cmp -s ${src_config} ${backup_config}; then
|
||||||
echo "No configuration change."
|
echo "No configuration change."
|
||||||
exit 0
|
exit 0
|
||||||
@@ -189,6 +188,7 @@ if [ -r ${dest_config} ]; then
|
|||||||
exit 6
|
exit 6
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
fi
|
||||||
|
|
||||||
# Extract values needed from the defconfig file. We need:
|
# Extract values needed from the defconfig file. We need:
|
||||||
# (1) The CONFIG_WINDOWS_NATIVE setting to know it this is target for a
|
# (1) The CONFIG_WINDOWS_NATIVE setting to know it this is target for a
|
||||||
|
|||||||
Reference in New Issue
Block a user