mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-07-23 07:29:19 +02:00
16 lines
393 B
Diff
16 lines
393 B
Diff
--- a/configure 2024-10-23 21:15:13.597333850 +0200
|
|
+++ b/configure 2024-10-23 21:15:34.527082731 +0200
|
|
@@ -1106,11 +1106,11 @@
|
|
printf "%s" "Checking for make utility... "
|
|
if [ -z "$MAKE" ]
|
|
then
|
|
- if which gmake >/dev/null
|
|
+ if command -v gmake >/dev/null
|
|
then
|
|
make=gmake
|
|
else
|
|
- if which make >/dev/null
|
|
+ if command -v make >/dev/null
|
|
then
|
|
make=make
|
|
fi
|