diff -Naur a/hack/make/.dockerinit b/hack/make/.dockerinit --- a/hack/make/.dockerinit 2015-08-11 18:35:27.000000000 +0200 +++ b/hack/make/.dockerinit 2015-08-12 18:14:25.743452565 +0200 @@ -29,5 +29,6 @@ exit 1 fi +/usr/bin/strip -s $DEST/dockerinit-$VERSION # sha1 our new dockerinit to ensure separate docker and dockerinit always run in a perfect pair compiled for one another export DOCKER_INITSHA1=$($sha1sum "$DEST/dockerinit-$VERSION" | cut -d' ' -f1) diff --git a/hack/make/.dockerinit-gccgo b/hack/make/.dockerinit-gccgo index 3caa526..f272d29 100644 --- a/hack/make/.dockerinit-gccgo +++ b/hack/make/.dockerinit-gccgo @@ -27,5 +27,6 @@ else exit 1 fi +/usr/bin/strip -s $DEST/dockerinit-$VERSION # sha1 our new dockerinit to ensure separate docker and dockerinit always run in a perfect pair compiled for one another export DOCKER_INITSHA1=$($sha1sum "$DEST/dockerinit-$VERSION" | cut -d' ' -f1)