Commit 28dfd94c authored by Niels Möller's avatar Niels Möller
Browse files

Fixed make --version test.

Rev: misc/
parent bcd95e55
......@@ -37,7 +37,7 @@ done
# We may need /usr/local/bin to get GNU make
if make --version 2>/dev/null | grep GNU >/dev/null ; then : ; else
if /usr/local/bin/make | grep GNU >/dev/null ; then
if /usr/local/bin/make --version 2>/dev/null | grep GNU >/dev/null ; then
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment