changeset 6541:88394d81a647

* src/mpfr.mk: fix update rule
author John Donoghue <john.donoghue@ieee.org>
date Tue, 22 Nov 2022 07:34:56 -0500
parents ff8c281debae
children 66dc175767da
files src/mpfr.mk
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/mpfr.mk	Sun Nov 20 15:04:15 2022 +0100
+++ b/src/mpfr.mk	Tue Nov 22 07:34:56 2022 -0500
@@ -13,7 +13,7 @@
 
 define $(PKG)_UPDATE
     $(WGET) -q -O- 'https://www.mpfr.org/mpfr-current/' | \
-    $(SED) -n 's,.*tags/\([0-9][^/]*\).*,\1,p' |
+    $(SED) -n 's,<title>.*version \([0-9][^<]*\).*,\1,p' | \
     $(SORT) -V | \
     tail -1
 endef