[source-date-epoch-spec] 01/01: the -> any, you don't have to set it multiple times

Ximin Luo infinity0 at debian.org
Mon Nov 13 16:43:35 UTC 2017


This is an automated email from the git hooks/post-receive script.

infinity0 pushed a commit to branch pu/1.1
in repository source-date-epoch-spec.

commit 52b24050fda546f80cf8115df0778dc78a89f9de
Author: Ximin Luo <infinity0 at debian.org>
Date:   Mon Nov 13 17:43:08 2017 +0100

    the -> any, you don't have to set it multiple times
---
 source-date-epoch-spec.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source-date-epoch-spec.xml b/source-date-epoch-spec.xml
index 823fe08..aa7b720 100644
--- a/source-date-epoch-spec.xml
+++ b/source-date-epoch-spec.xml
@@ -198,7 +198,7 @@
 		<para>
 			Though it is not forbidden to set <envar>SOURCE_DATE_EPOCH</envar>
 			several times during a build, such as for different child modules,
-			build processes doing this should ensure that the differing values
+			build processes doing this should ensure that any differing values
 			do not interfere with each other in a nondeterministic way.
 		</para>
 	</sect2>

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/source-date-epoch-spec.git



More information about the Reproducible-commits mailing list