diff options
Diffstat (limited to 'Build/source/utils/xindy/configure')
-rwxr-xr-x | Build/source/utils/xindy/configure | 5 |
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 |