platforms/debian8/Dockerfile.in
changeset 13 1fe49e314ec9
parent 7 a26a3f0b94d3
--- a/platforms/debian8/Dockerfile.in	Mon Jun 15 17:28:08 2015 +0200
+++ b/platforms/debian8/Dockerfile.in	Mon Jun 15 17:29:46 2015 +0200
@@ -44,6 +44,7 @@
 RUN autoconf
 RUN ./configure
 RUN make
+RUN rm -f test-config
 
 ## now finally run the tests
 ## should be done by you, manually :)