diff --git a/fix-docker-init.patch b/fix-docker-init.patch index 26a4899..718b93d 100644 --- a/fix-docker-init.patch +++ b/fix-docker-init.patch @@ -13,10 +13,9 @@ index 3caa526..f272d29 100644 --- a/hack/make/.dockerinit-gccgo +++ b/hack/make/.dockerinit-gccgo @@ -27,5 +27,6 @@ else - exit 1 + 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) -