diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure b/configure index 6691d7382c4..191e8f03263 100755 --- a/configure +++ b/configure @@ -7487,6 +7487,9 @@ if a == b: print(a) else: print(a + ' ' + b)"` +if test "$PORTNAME" = win32 ; then + python_includespec=`echo $python_includespec | sed 's,\,/,g'` +fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $python_includespec" >&5 $as_echo "$python_includespec" >&6; } |