[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