[Reproducible-builds] [misc] 01/03: Tune pinning instructions
Stéphane Glondu
glondu at moszumanska.debian.org
Sun Feb 23 13:28:50 UTC 2014
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository misc.
commit 890f0b5658cb03122c59bc5e43ec1d39b2a1d98a
Author: Stephane Glondu <steph at glondu.net>
Date: Sun Feb 23 09:53:38 2014 +0100
Tune pinning instructions
---
rebuild-twice-in-same-path/README | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/rebuild-twice-in-same-path/README b/rebuild-twice-in-same-path/README
index 568dd82..0ed4523 100644
--- a/rebuild-twice-in-same-path/README
+++ b/rebuild-twice-in-same-path/README
@@ -31,7 +31,7 @@ To force the use of the patched toolchain, we suggest the following
Pin: release o=Debian
Pin-Priority: 999
- Package: binutils dpkg
+ Package: *binutils* *dpkg*
Pin: origin "reproducible.alioth.debian.org"
Pin-Priority: 999
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/misc.git
More information about the Reproducible-builds
mailing list