Look for Makefile.common instead of Makefile, when determining whether or not we need to generate a Makefile for building outside the source tree. This to make sure any changes will actually take effect

svn-id: r46598

1 files changed, 1 insertions, 1 deletions

diff --git a/configure b/configure
index 93e432b73a..29760c1188 100755
--- a/configure
+++ b/configure
@@ -2553,7 +2553,7 @@ EOF
 # Create a custom Makefile when building outside the source tree
 # TODO: Add a better check than just looking for 'Makefile'
 #
-if test ! -f Makefile ; then
+if test ! -f Makefile.common ; then
 echo "Creating Makefile"
 
 cat > Makefile << EOF