From c9151f206abf5740772e065fa88d45766fd11940 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Thu, 19 May 2016 15:04:51 -0400 Subject: [PATCH] docker/full: add nitunits Signed-off-by: Jean Privat --- misc/docker/full/Dockerfile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/misc/docker/full/Dockerfile b/misc/docker/full/Dockerfile index 91c467b..ee83970 100644 --- a/misc/docker/full/Dockerfile +++ b/misc/docker/full/Dockerfile @@ -32,10 +32,13 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y --no-ins # Run tests RUN cd /root/nit/tests \ + # Basic tests && ./testfull.sh || true \ && rm -rf out/ alt/*.nit \ + # Nitunits + && ../bin/nitunit ../lib ../contrib || true \ + && rm -rf .nitunit \ && ccache -C -# TODO: nitunits WORKDIR /root/nit ENTRYPOINT [ "bash" ] -- 1.7.9.5