--- 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 :)
--- 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 :)
--- a/platforms/fedora21/Dockerfile.in Mon Jun 15 17:28:08 2015 +0200
+++ b/platforms/fedora21/Dockerfile.in Mon Jun 15 17:29:46 2015 +0200
@@ -41,6 +41,7 @@
RUN autoconf
RUN ./configure
RUN make
+RUN rm -f test-config
## now finally run the tests
## should be done by you, manually :)
--- a/platforms/opensuse/Dockerfile.in Mon Jun 15 17:28:08 2015 +0200
+++ b/platforms/opensuse/Dockerfile.in Mon Jun 15 17:29:46 2015 +0200
@@ -42,6 +42,7 @@
RUN autoconf
RUN ./configure
RUN make
+RUN rm -f test-config
## now finally run the tests
## should be done by you, manually :)