aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
1 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure
index 27f74dba..cd384297 100755
--- a/configure
+++ b/configure
@@ -4246,7 +4246,8 @@ $as_echo "$as_me: WARNING: pywrap not needed (but I'll try to build it anyway)"
no) build_pywrap=no
if test $need_pywrap = yes
then
- as_fn_error $? "This platform appears to require pywrap" "$LINENO" 5
+ { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: This platform appears to require pywrap (but I'll try to build without it anyway)" >&5
+$as_echo "$as_me: WARNING: This platform appears to require pywrap (but I'll try to build without it anyway)" >&2;}
fi
;;
auto) build_pywrap=$need_pywrap