From f1f9ac85ce2099d065260225cc445e8852019bd5 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sat, 28 Feb 2015 16:13:05 +0000
Subject: -updating report.sh

---
 contrib/report.sh | 18 +++++++++++++-----
 1 file changed, 13 insertions(+), 5 deletions(-)

diff --git a/contrib/report.sh b/contrib/report.sh
index 6e1d39949..7fbb2f46c 100755
--- a/contrib/report.sh
+++ b/contrib/report.sh
@@ -10,7 +10,7 @@ fi
 echo "Please submit the following information with your bug report: "
 echo "--------------------------------------------------------------"
 OS=`uname -s 2>/dev/null`
-echo "OS             : $OS" 
+echo "OS             : $OS"
 REL=`uname -r 2>/dev/null`
 echo "OS RELEASE     : $REL"
 HW=`uname -m 2>/dev/null`
@@ -138,13 +138,13 @@ fi
 
 TEST=`$WHICH dpkg 2> /dev/null`
 if test -n "$TEST"; then
-  LINES=`dpkg -s libgmp3-dev | grep Version | wc -l`
+  LINES=`dpkg -s libgmp-dev | grep Version | wc -l 2> /dev/null`
   if test "$LINES" = "1"
   then
-    VERSION=`dpkg -s libgmp3-dev | grep Version | awk '{print $2}'`
-    echo "GMP            : libgmp3-dev-$VERSION.deb"
+    VERSION=`dpkg -s libgmp-dev | grep Version | awk '{print $2}'`
+    echo "GMP            : libgmp-dev-$VERSION.deb"
   else
-    echo "GMP            : dpkg: libgmp3-dev not installed"
+    echo "GMP            : dpkg: libgmp-dev not installed"
   fi
 else
   TEST=`$WHICH rpm 2> /dev/null`
@@ -193,6 +193,14 @@ else
   echo "libcurl        : Not found"
 fi
 
+TEST=`$WHICH gnurl-config 2> /dev/null`
+if test -n "$TEST"; then
+  gnurl-config --version | head -n1 2> /dev/null | \
+    awk '{print "libgnurl       : "$2}'
+else
+  echo "libgnurl       : Not found"
+fi
+
 echo -n "libmicrohttpd  : "
 TMPFILE=`mktemp /tmp/mhd-version-testXXXXXX`
 cat - >$TMPFILE.c <<EOF
-- 
cgit v1.2.3