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
This commit is contained in:
parent
915c60c629
commit
4950d0de78
1 changed files with 1 additions and 1 deletions
2
configure
vendored
2
configure
vendored
|
@ -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
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue