diff --git a/test/docker/fedora28 b/test/docker/fedora28
index da31b8793..6912f2b97 100644
--- a/test/docker/fedora28
+++ b/test/docker/fedora28
@@ -23,4 +23,4 @@ RUN task --version
 WORKDIR /root/code/test/
 RUN make
 
-CMD ["bash", "-c", "./run_all ; ./problems ; cat all.log | grep 'not ok'"]
+CMD ["bash", "-c", "./run_all ; cat all.log | grep 'not ok' ; ./problems"]
diff --git a/test/docker/ubuntu1604 b/test/docker/ubuntu1604
index 5ebe52fa1..295f61d19 100644
--- a/test/docker/ubuntu1604
+++ b/test/docker/ubuntu1604
@@ -24,4 +24,4 @@ RUN task --version
 WORKDIR /root/code/test/
 RUN make
 
-CMD ["bash", "-c", "./run_all ; ./problems ; cat all.log | grep 'not ok'"]
+CMD ["bash", "-c", "./run_all ; cat all.log | grep 'not ok' ; ./problems"]