From 359b1d9b4d18fbf2b5dbdb00494acedc4ae65fdc Mon Sep 17 00:00:00 2001
From: David Allsopp <david.allsopp@metastack.com>
Date: Sat, 21 Jul 2018 13:51:48 +0100
Subject: [PATCH] Adapt src_ext/update-sources.sh for #3368

Output from `opam show` now includes quotes.
---
 src_ext/update-sources.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src_ext/update-sources.sh b/src_ext/update-sources.sh
index 1f9edb43c69..a5a184f2623 100755
--- a/src_ext/update-sources.sh
+++ b/src_ext/update-sources.sh
@@ -8,7 +8,7 @@ while read name prefix version url; do
   if [[ $package = "findlib" ]] ; then package=ocamlfind ; fi
   latest=$(opam show $package -f all-versions)
   latest=${latest##* }
-  package_url=$(opam show $package.$latest -f url.src:)
+  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/")
   if [[ $package_url = $url ]] ; then