blob: 9baed98422920d8282eaac379027905212afb4e3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
--- 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
|
