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 | |
parent | 4112e3d169bf1b33bc4b1cf27ab61f9e68130257 (diff) | |
download | gnunet-f1f9ac85ce2099d065260225cc445e8852019bd5.tar.gz gnunet-f1f9ac85ce2099d065260225cc445e8852019bd5.zip |
-updating 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 | |||
10 | echo "Please submit the following information with your bug report: " | 10 | echo "Please submit the following information with your bug report: " |
11 | echo "--------------------------------------------------------------" | 11 | echo "--------------------------------------------------------------" |
12 | OS=`uname -s 2>/dev/null` | 12 | OS=`uname -s 2>/dev/null` |
13 | echo "OS : $OS" | 13 | echo "OS : $OS" |
14 | REL=`uname -r 2>/dev/null` | 14 | REL=`uname -r 2>/dev/null` |
15 | echo "OS RELEASE : $REL" | 15 | echo "OS RELEASE : $REL" |
16 | HW=`uname -m 2>/dev/null` | 16 | HW=`uname -m 2>/dev/null` |
@@ -138,13 +138,13 @@ fi | |||
138 | 138 | ||
139 | TEST=`$WHICH dpkg 2> /dev/null` | 139 | TEST=`$WHICH dpkg 2> /dev/null` |
140 | if test -n "$TEST"; then | 140 | if test -n "$TEST"; then |
141 | LINES=`dpkg -s libgmp3-dev | grep Version | wc -l` | 141 | LINES=`dpkg -s libgmp-dev | grep Version | wc -l 2> /dev/null` |
142 | if test "$LINES" = "1" | 142 | if test "$LINES" = "1" |
143 | then | 143 | then |
144 | VERSION=`dpkg -s libgmp3-dev | grep Version | awk '{print $2}'` | 144 | VERSION=`dpkg -s libgmp-dev | grep Version | awk '{print $2}'` |
145 | echo "GMP : libgmp3-dev-$VERSION.deb" | 145 | echo "GMP : libgmp-dev-$VERSION.deb" |
146 | else | 146 | else |
147 | echo "GMP : dpkg: libgmp3-dev not installed" | 147 | echo "GMP : dpkg: libgmp-dev not installed" |
148 | fi | 148 | fi |
149 | else | 149 | else |
150 | TEST=`$WHICH rpm 2> /dev/null` | 150 | TEST=`$WHICH rpm 2> /dev/null` |
@@ -193,6 +193,14 @@ else | |||
193 | echo "libcurl : Not found" | 193 | echo "libcurl : Not found" |
194 | fi | 194 | fi |
195 | 195 | ||
196 | TEST=`$WHICH gnurl-config 2> /dev/null` | ||
197 | if test -n "$TEST"; then | ||
198 | gnurl-config --version | head -n1 2> /dev/null | \ | ||
199 | awk '{print "libgnurl : "$2}' | ||
200 | else | ||
201 | echo "libgnurl : Not found" | ||
202 | fi | ||
203 | |||
196 | echo -n "libmicrohttpd : " | 204 | echo -n "libmicrohttpd : " |
197 | TMPFILE=`mktemp /tmp/mhd-version-testXXXXXX` | 205 | TMPFILE=`mktemp /tmp/mhd-version-testXXXXXX` |
198 | cat - >$TMPFILE.c <<EOF | 206 | cat - >$TMPFILE.c <<EOF |