diff options
| -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) # |