1.1 --- a/.hgignore	Sun Jul 10 17:28:06 2005 +0000
     1.2 +++ b/.hgignore	Sun Jul 10 17:32:01 2005 +0000
     1.3 @@ -1,4 +1,6 @@
     1.4  .*\.a
     1.5 +.*\.cmi
     1.6 +.*\.cmo
     1.7  .*\.d
     1.8  .*\.o
     1.9  .*\.opic
    1.10 @@ -93,6 +95,7 @@ tools/blktap/xen/.*
    1.11  tools/check/\..*
    1.12  tools/cmdline/.*
    1.13  tools/cmdline/xen/.*
    1.14 +tools/debugger/pdb/pdb
    1.15  tools/firmware/acpi/acpigen
    1.16  tools/firmware/.*\.bin
    1.17  tools/firmware/.*\.sym

     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/tools/check/check_curl_devel	Sun Jul 10 17:32:01 2005 +0000
     2.3 @@ -0,0 +1,11 @@
     2.4 +#!/bin/bash
     2.5 +# CHECK-BUILD
     2.6 +
     2.7 +function error {
     2.8 +    echo 'Check for libcurl includes failed.'
     2.9 +    exit 1
    2.10 +}
    2.11 +
    2.12 +set -e
    2.13 +[ -e /usr/include/curl ] || error
    2.14 +[ -e /usr/include/curl/curl.h ] || error
    2.15 \ No newline at end of file

     3.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.2 +++ b/tools/check/check_curl_lib	Sun Jul 10 17:32:01 2005 +0000
     3.3 @@ -0,0 +1,10 @@
     3.4 +#!/bin/bash
     3.5 +# CHECK-BUILD CHECK-INSTALL
     3.6 +
     3.7 +function error {
     3.8 +        echo 'Check for CURL library failed.'
     3.9 +        exit 1
    3.10 +}
    3.11 +
    3.12 +set -e
    3.13 +ldconfig -p | grep libcurl.so || error
    3.14 \ No newline at end of file