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