diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure index 9fb141617fad..cef232a70908 100755 --- a/configure +++ b/configure @@ -23351,6 +23351,7 @@ else { echo "$as_me:$LINENO: result: internal" >&5 echo "${ECHO_T}internal" >&6; } SYSTEM_HYPH=NO + BUILD_TYPE="$BUILD_TYPE HYPHEN" fi |