diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2018-11-12 10:28:43 +0100 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2018-11-12 10:28:46 +0100 |
commit | e3f98cf5011ece2ff527dae419a0fe677b4bb6d2 (patch) | |
tree | 035b3a2ef45445d34719bb8f88b5420f48d6ef96 /scripts | |
parent | 403358fd2db3f1bfcc8598ac6f683ada4c43d3a1 (diff) | |
download | ptxdist-e3f98cf5011ece2ff527dae419a0fe677b4bb6d2.tar.gz ptxdist-e3f98cf5011ece2ff527dae419a0fe677b4bb6d2.tar.xz |
ptxd_kconfig_update_config: don't save the config if it wasn't modified
If the timestamps are equal then the file was not modified by kconfig.
Don't save the config file in this case. There is nothing new and the
options may be sorted incorrectly after applying the diff.
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/lib/ptxd_lib_kconfig.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/lib/ptxd_lib_kconfig.sh b/scripts/lib/ptxd_lib_kconfig.sh index d2447d84f..080b2d771 100644 --- a/scripts/lib/ptxd_lib_kconfig.sh +++ b/scripts/lib/ptxd_lib_kconfig.sh @@ -405,7 +405,7 @@ ptxd_kconfig_update_config() { local config="${2}" local base_config="${3}" - if [ "${target_config}" -ot "${target_config}.stamp" ]; then + if [ ! "${target_config}" -nt "${target_config}.stamp" ]; then rm -f "${target_config}.stamp" return fi |