diff options
| author | Michael Olbrich <m.olbrich@pengutronix.de> | 2018-10-23 12:45:57 +0100 |
|---|---|---|
| committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2018-10-25 17:12:27 +0100 |
| commit | 144185a7d373c4892ec31b377a52a80d275067bc (patch) | |
| tree | 1f2b74b4194478aa4bdb2bdf80062f6970ee5eb6 /scripts | |
| parent | 28f63f9875a41446c65bc5879ef425a6e71b8e49 (diff) | |
| download | ptxdist-144185a7d373c4892ec31b377a52a80d275067bc.tar.gz ptxdist-144185a7d373c4892ec31b377a52a80d275067bc.tar.xz | |
ptxd_lib_kconfig: add some more output
If a config (and diff) is removed because the diff is empty, then print a
appropriate message.
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/lib/ptxd_lib_kconfig.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/lib/ptxd_lib_kconfig.sh b/scripts/lib/ptxd_lib_kconfig.sh index f376ce0e3..d2447d84f 100644 --- a/scripts/lib/ptxd_lib_kconfig.sh +++ b/scripts/lib/ptxd_lib_kconfig.sh @@ -431,6 +431,7 @@ ptxd_kconfig_update_config() { echo else # remove config and diff if the diff is empty + echo "Empty diff. Skipping '$(ptxd_print_path "${config}")'." rm -f "${config}" "${config}.diff" fi fi |