docker: *Actually* don't require rebuilding if unnecessary
diff mbox series

Message ID
State New
Headers show
  • docker: *Actually* don't require rebuilding if unnecessary
Related show

Commit Message

Stephen Finucane July 6, 2019, 8:25 p.m. UTC
Because we were using 'set -e', we were erroring out as soon as
something - a diff in this case - failed. Temporarily disable it for
this one check.

Signed-off-by: Stephen Finucane <>
Fixes: 0b5b4e8c ("docker: Don't require rebuilding if unnecessary")
Cc: Daniel Axtens <>
 tools/docker/ | 4 ++++
 1 file changed, 4 insertions(+)

diff mbox series

diff --git a/tools/docker/ b/tools/docker/
index 32f7132a..d2b094bd 100755
--- a/tools/docker/
+++ b/tools/docker/
@@ -67,6 +67,8 @@  EOF
     exit 1
+set +e
 # check if we need to rebuild because requirements changed
 for x in /tmp/requirements-*.txt; do
     if ! cmp $x ~/patchwork/$(basename $x); then
@@ -81,6 +83,8 @@  EOF
+set -e
 # check if db is connected
 if ! test_db_connection; then
     echo "The database seems not to be connected, or the patchwork user is broken"