Changeset 20d3801
- Timestamp:
- 04/20/2022 03:45:10 AM (2 years ago)
- Branches:
- multilib
- Children:
- 80d370b
- Parents:
- cd77c31 (diff), 9de91f7 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
lfs-latest-git.php
rcd77c31 r20d3801 71 71 { 72 72 if ( ! preg_match( "/sourceforge/", $url ) && 73 ! preg_match( "/mpfr/", $url ) && 73 74 ! preg_match( "/psmisc/", $url ) ) 74 75 { 75 76 exec( "curl --location --silent --max-time 30 $url", $dir ); 76 77 78 $s = implode( "\n", $dir ); 79 $dir = strip_tags( $s ); 80 return explode( "\n", $dir ); 81 } 82 else if ( preg_match( "/mpfr/", $url ) ) 83 { 84 # There seems to be a problem with the mpfs certificate 85 exec( "curl --location --silent --insecure --max-time 30 $url", $dir ); 77 86 $s = implode( "\n", $dir ); 78 87 $dir = strip_tags( $s );
Note:
See TracChangeset
for help on using the changeset viewer.