From 4c7d12d6eebc12e703a91b537392d0086ab279b4 Mon Sep 17 00:00:00 2001
From: Nicolas Pouillard <nicolas.pouillard@gmail.com>
Date: Thu, 20 Nov 2014 22:31:49 +0100
Subject: [PATCH] [docker]: Use the latest cmdcheck with --log

---
 Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index f32d698..5870046 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -9,5 +9,6 @@ WORKDIR /hx
 RUN     cabal install
 ADD     https://github.com/np/cmdcheck/raw/master/cmdcheck /hx/cmdcheck
 RUN     PATH=/hx/dist/build/hx:$PATH \
-          bash -e /hx/cmdcheck tests/*.t || echo "Tests failed!"
+          bash -e /hx/cmdcheck --log=/hx/tests.log tests/*.t || echo "Tests failed!"
+RUN     cat /hx/tests.log
 #RUN apt-get update && apt-get install ${OPTS_APT} lib-ghc...