Skip to content

Commit

Permalink
Correct handling for reading MD5 from opam
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 authored and rjbou committed Oct 16, 2018
1 parent b3778cd commit 818efb0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src_ext/update-sources.sh
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ while read name prefix version url; do
latest=${latest##* }
package_url=$(opam show $package.$latest -f url.src: | sed -e 's/"//g')
md5=$(sed -n -e "s/MD5$prefix$name *= *\(.*\)/\1/p" Makefile.sources)
package_md5=$(opam show $package.$latest -f url.checksum: | sed -e "s/.*md5=\([a-fA-F0-9]\{32\}\).*/\1/")
package_md5=$(opam show $package.$latest -f url.checksum: | sed -n -e "/md5/s/.*md5=\([a-fA-F0-9]\{32\}\).*/\1/p")
if [[ $package_url = $url ]] ; then
if [[ $package_md5 = $md5 ]] ; then
echo -ne "[\033[0;32m$name\033[m] "
Expand Down

0 comments on commit 818efb0

Please sign in to comment.