mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-08-24 18:58:08 -07:00
17 lines
393 B
Diff
17 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
|