deri pushed a commit to branch master
in repository groff.
commit cdb97b9590b0fb4632f47b54aa0829a4c499167a
Author: Deri James <[email protected]>
AuthorDate: Mon Mar 9 16:31:46 2026 +0000
Seed random number if SOURCE_DATE_EPOCH is set.
* src/devices/gropdf/gropdf.pl (initial): call
srand($ENV{SOURCE_DATE_EPOCH}) if given. To support reproducible
builds.
Thanks to Peng Zhang for report and suggested fix.
Fixes <https://savannah.gnu.org/bugs/?68136>
---
ChangeLog | 12 ++++++++++++
src/devices/gropdf/gropdf.pl | 6 ++++++
2 files changed, 18 insertions(+)
diff --git a/ChangeLog b/ChangeLog
index 5edc379be..c354281e1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,15 @@
+2026-03-08 Deri James <[email protected]>
+
+ Seed random number if SOURCE_DATE_EPOCH is set.
+
+ * src/devices/gropdf/gropdf.pl (initial): call
+ srand($ENV{SOURCE_DATE_EPOCH}) if given. To support reproducible
+ builds.
+
+ Thanks to Peng Zhang for report and suggested fix.
+
+ Fixes <https://savannah.gnu.org/bugs/?68136>
+
2026-03-03 Rocket Ma <[email protected]>
* src/preproc/eqn/eqn.am (neqn): `-f $(SH_DEPS_SED_SCRIPT)`
diff --git a/src/devices/gropdf/gropdf.pl b/src/devices/gropdf/gropdf.pl
index f519a5356..16ca4a5b2 100644
--- a/src/devices/gropdf/gropdf.pl
+++ b/src/devices/gropdf/gropdf.pl
@@ -223,6 +223,12 @@ my %StdEnc=(
unshift(@ARGV,split(' ',$ENV{GROPDF_OPTIONS})) if exists($ENV{GROPDF_OPTIONS});
+# Initialize random seed for reproducible builds.
+if (defined($ENV{SOURCE_DATE_EPOCH}))
+{
+ srand($ENV{SOURCE_DATE_EPOCH});
+}
+
my $gotzlib=0;
my $gotinline=0;
my $gotexif=0;
_______________________________________________
groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit
