summaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/extract-api.sh5
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)
#