diff options
author | Christian Grothoff <christian@grothoff.org> | 2015-02-28 16:13:05 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2015-02-28 16:13:05 +0000 |
commit | f1f9ac85ce2099d065260225cc445e8852019bd5 (patch) | |
tree | cc75fe65527ecbc0122bec7889f41edae4f38bea /contrib/report.sh | |
parent | 4112e3d169bf1b33bc4b1cf27ab61f9e68130257 (diff) |
-updating report.sh
Diffstat (limited to 'contrib/report.sh')
-rwxr-xr-x | contrib/report.sh | 18 |
1 files 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 |