2016-02-05 12:01:39 +01:00
|
|
|
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)
|
2016-02-08 16:47:24 +01:00
|
|
|
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
|
2016-02-08 17:28:28 +01:00
|
|
|
exit 1
|
2016-02-08 16:47:24 +01:00
|
|
|
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)
|