diff options
| author | Lionel Orry <lionel.orry@gmail.com> | 2011-04-29 09:53:21 +0200 |
|---|---|---|
| committer | jeremyz <jeremy@asynk.ch> | 2011-04-29 15:46:12 +0200 |
| commit | 06bc980aebf49a717bf9e46fc816ca14ae4740cc (patch) | |
| tree | 5c57d87445892dfaa7c68ae0a18c7a0e73dc4784 /tools/extract-api.sh | |
| parent | 337135de8eac4c155051849805c5a0abde704c8f (diff) | |
| download | ffi-efl-06bc980aebf49a717bf9e46fc816ca14ae4740cc.zip ffi-efl-06bc980aebf49a717bf9e46fc816ca14ae4740cc.tar.gz | |
Nicely continue when a header is not found.
This is needed because depending on the efl configuration,
some header files may not be installed.
We show a message to indicate no bindings will be generated though.
Diffstat (limited to 'tools/extract-api.sh')
| -rwxr-xr-x | tools/extract-api.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/extract-api.sh b/tools/extract-api.sh index 29844aa..254a693 100755 --- a/tools/extract-api.sh +++ b/tools/extract-api.sh @@ -37,6 +37,11 @@ for header in \ "${INCLUDE}/elementary-0/Elementary.h" \ ; do # + if [ ! -e "$header" ]; then + echo "$header not found, we won't generate bindings for this header." + continue + fi + # DIR=$(dirname $header) FILE=$(basename $header) # |