diff options
| author | Michael Olbrich <m.olbrich@pengutronix.de> | 2019-05-10 14:05:21 +0200 |
|---|---|---|
| committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2019-05-10 16:22:38 +0200 |
| commit | 3c1616d06cd4f408423ae5d86a1f3ab032931755 (patch) | |
| tree | ffef48b79a482460e0ad9334c243ed1cf6518835 /bin/ptxdist | |
| parent | 4b70dc441ab40f9583db4bc130b0ba626d3463aa (diff) | |
| download | ptxdist-3c1616d06cd4f408423ae5d86a1f3ab032931755.tar.gz ptxdist-3c1616d06cd4f408423ae5d86a1f3ab032931755.tar.xz | |
kconfig: warnings are errors unless PTXDIST_FORCE is set
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'bin/ptxdist')
| -rwxr-xr-x | bin/ptxdist | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index d0cf1b931..f52a668d3 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1505,6 +1505,9 @@ do_config() if [ ${retval} -ne 0 ]; then echo echo "${PTXDIST_LOG_PROMPT}'${config}${part:+ }${part}' returned with an error" + if [ -z "${PTXDIST_FORCE}" ]; then + echo "${PTXDIST_LOG_PROMPT}for warnings, --force can be used to continue anyways" + fi echo if [ -n "${PTX_MENU}" ]; then read |