summaryrefslogtreecommitdiff
path: root/Build/source/utils/xindy/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils/xindy/configure')
-rwxr-xr-xBuild/source/utils/xindy/configure5
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/utils/xindy/configure b/Build/source/utils/xindy/configure
index a9465f17115..90a58b58bf7 100755
--- a/Build/source/utils/xindy/configure
+++ b/Build/source/utils/xindy/configure
@@ -4647,7 +4647,12 @@ eval as_val=\$$as_ac_Header
_ACEOF
else
+ if test "x$enable_build" != xno; then :
as_fn_error "required C header file is missing" "$LINENO" 5
+else
+ { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: required C header file is missing" >&5
+$as_echo "$as_me: WARNING: required C header file is missing" >&2;}
+fi
fi
done