diff -r 519e3c376632 -r 3e3fbd0cc16f platforms/debian7/Dockerfile.in --- a/platforms/debian7/Dockerfile.in Sat Apr 25 22:13:10 2015 +0200 +++ b/platforms/debian7/Dockerfile.in Sat Apr 25 22:13:38 2015 +0200 @@ -50,5 +50,4 @@ ## should be done by you, manually :) # -> full hostname -ENTRYPOINT ["./runtest", "../src/build-Linux-x86_64/exim", \ - "-FLAVOUR", "debian7"] +ENTRYPOINT ["./runtest", "../src/build-Linux-x86_64/exim", "-FLAVOUR", "debian7"]