[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