Merge branch '4.5' into 4.6

1 files changed, 2 insertions, 2 deletions

diff --git a/configure b/configure
index 9ef0b4558b..70c91c2c5f 100755
--- a/configure
+++ b/configure
@@ -3874,7 +3874,7 @@ elif [ "$Edition" = "OpenSource" ]; then
     while true; do
         echo "You are licensed to use this software under the terms of"
         echo "the Lesser GNU General Public License (LGPL) versions 2.1."
-        if [ -e "$relpath/LICENSE.GPL3" ]; then
+        if [ -f "$relpath/LICENSE.GPL3" ]; then
             echo "You are also licensed to use this software under the terms of"
             echo "the GNU General Public License (GPL) versions 3."
             affix="either"
@@ -3886,7 +3886,7 @@ elif [ "$Edition" = "OpenSource" ]; then
             echo "You have already accepted the terms of the $LicenseType license."
             acceptance=yes
         else
-            if [ -e "$relpath/LICENSE.GPL3" ]; then
+            if [ -f "$relpath/LICENSE.GPL3" ]; then
                 echo "Type '3' to view the GNU General Public License version 3."
             fi
             echo "Type 'L' to view the Lesser GNU General Public License version 2.1."