diff options
Diffstat (limited to 'contrib/report.sh')
-rwxr-xr-x | contrib/report.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/contrib/report.sh b/contrib/report.sh index 76abe5a7c..521226c94 100755 --- a/contrib/report.sh +++ b/contrib/report.sh | |||
@@ -160,15 +160,6 @@ else | |||
160 | fi | 160 | fi |
161 | 161 | ||
162 | 162 | ||
163 | TEST=`$WHICH guile 2> /dev/null` | ||
164 | if test -n "$TEST"; then | ||
165 | guile --version | head -n1 2> /dev/null | \ | ||
166 | awk '{print "Guile : "$2}' | ||
167 | else | ||
168 | echo "Guile : Not found" | ||
169 | fi | ||
170 | |||
171 | |||
172 | TEST=`$WHICH curl-config 2> /dev/null` | 163 | TEST=`$WHICH curl-config 2> /dev/null` |
173 | if test -n "$TEST"; then | 164 | if test -n "$TEST"; then |
174 | curl-config --version | head -n1 2> /dev/null | \ | 165 | curl-config --version | head -n1 2> /dev/null | \ |