From 51c6cde1c97ec8760f4a030f0f5fac3472100f28 Mon Sep 17 00:00:00 2001
From: Matthias Koeppe <mkoeppe@math.ucdavis.edu>
Date: Wed, 12 Aug 2020 14:33:02 -0700
Subject: [PATCH] fixup

---
 tox.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tox.ini b/tox.ini
index 8de5a8a914d..16b611eaac4 100644
--- a/tox.ini
+++ b/tox.ini
@@ -425,7 +425,7 @@ commands =
     docker:              {env:EXTRA_DOCKER_BUILD_ARGS:}; status=$?; \
     docker:            if [ $status != 0 ]; then BUILD_TAG="$BUILD_TAG-failed"; docker commit $(docker ps -l -q) $BUILD_TAG; fi; \
     docker:            echo $BUILD_TAG >> {envdir}/Dockertags; \
-    docker:            if [ x"{env:DOCKER_PUSH_REPOSITORY:}" != x ]; then echo Pushing $BUILD_TAG; docker push $BUILD_TAG || echo (ignoring errors); fi; \
+    docker:            if [ x"{env:DOCKER_PUSH_REPOSITORY:}" != x ]; then echo Pushing $BUILD_TAG; docker push $BUILD_TAG || echo "(ignoring errors)"; fi; \
     docker:            if [ $status != 0 ]; then exit $status; fi; \
     docker:        done'
     # pathpy checksuite needs tox. #28728: gap fails its test suite.