diff options
| author | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2005-07-10 17:15:48 +0000 |
|---|---|---|
| committer | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2005-07-10 17:15:48 +0000 |
| commit | c5581fe8510a273e3e4d62d126bc4db3f899a2f5 (patch) | |
| tree | f05bcea20d3bc80854adbd049797bbb1d29e961c | |
| parent | 067bbfc35f7468417c845dcd3cd840c903052d62 (diff) | |
| download | xen-c5581fe8510a273e3e4d62d126bc4db3f899a2f5.tar.gz xen-c5581fe8510a273e3e4d62d126bc4db3f899a2f5.tar.bz2 xen-c5581fe8510a273e3e4d62d126bc4db3f899a2f5.zip | |
Remove checks for libcurl. It's no longer a dependency.
| -rwxr-xr-x | tools/check/check_curl_devel | 11 | ||||
| -rwxr-xr-x | tools/check/check_curl_lib | 10 |
2 files changed, 0 insertions, 21 deletions
diff --git a/tools/check/check_curl_devel b/tools/check/check_curl_devel deleted file mode 100755 index 342ff42bf6..0000000000 --- a/tools/check/check_curl_devel +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/bash -# CHECK-BUILD - -function error { - echo 'Check for libcurl includes failed.' - exit 1 -} - -set -e -[ -e /usr/include/curl ] || error -[ -e /usr/include/curl/curl.h ] || error
\ No newline at end of file diff --git a/tools/check/check_curl_lib b/tools/check/check_curl_lib deleted file mode 100755 index 58b74ed9c8..0000000000 --- a/tools/check/check_curl_lib +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -# CHECK-BUILD CHECK-INSTALL - -function error { - echo 'Check for CURL library failed.' - exit 1 -} - -set -e -ldconfig -p | grep libcurl.so || error
\ No newline at end of file |