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