mpi-selector/reproducible.patch
2024-01-03 09:25:28 +00:00

14 lines
378 B
Diff

Index: mpi-selector-1.0.3/configure
===================================================================
--- mpi-selector-1.0.3.orig/configure
+++ mpi-selector-1.0.3/configure
@@ -1730,7 +1730,7 @@ MPI_SELECTOR_MPIVARS_BASENAME="mpivars"
prefix=$prefix_save
# Information for the man page
-MAN_DATE=`date "+%B %d, %Y"`
+MAN_DATE=`date -r README "+%B %d, %Y"`
# Party on