diff options
-rw-r--r-- | bin/phase-helpers.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/phase-helpers.sh b/bin/phase-helpers.sh index 9b1f6adbe..23cf80b39 100644 --- a/bin/phase-helpers.sh +++ b/bin/phase-helpers.sh @@ -696,7 +696,7 @@ einstall() { unset EI_DESTLIBDIR fi - if [ -f ./[mM]akefile -o -f ./GNUmakefile ] ; then + if [[ -f Makefile || -f GNUmakefile || -f makefile ]] ; then if [ "${PORTAGE_DEBUG}" == "1" ]; then ${MAKE:-make} -n prefix="${ED}usr" \ datadir="${ED}usr/share" \ |