summaryrefslogtreecommitdiff
blob: 40bafd490052ccbcf4d5709bc1e50d4ff37366e7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
diff --git a/configure b/configure
index 800b5850f..331e8950d 100755
--- a/configure
+++ b/configure
@@ -1069,7 +1069,7 @@ then
     fi
 fi
 
-if ! has "$make"
+if ! has $make
 then
     error_exit "GNU make ($make) not found"
 fi