diff options
Diffstat (limited to 'source/configure')
| -rwxr-xr-x | source/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source/configure b/source/configure index 3f9a6bf0946..2b147225a4e 100755 --- a/source/configure +++ b/source/configure @@ -12942,3 +12942,4 @@ chmod +x $CONFIG_STATUS rm -fr confdefs* $ac_clean_files test "$no_create" = yes || ${CONFIG_SHELL-/bin/sh} $CONFIG_STATUS || exit 1 + |