From 8538aa259c89f32586a649e5ebc6d99110c34617 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Tue, 30 Dec 2014 13:37:04 -0800
Subject: Fix broken gmake/make test

---
 build.common | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'build.common')

diff --git a/build.common b/build.common
index 23cf589..3ae0424 100644
--- a/build.common
+++ b/build.common
@@ -9,12 +9,8 @@ then
   exit 1
 fi
 
-if [ ! -f gmake ]
-then
-  MAKE=gmake
-else
-  MAKE=make
-fi
+# Use gmake instead of make if it exists.
+MAKE=`command -v gmake || command -v make`
 
 PATH="$RISCV/bin:$PATH"
 #GCC_VERSION=`gcc -v 2>&1 | tail -1 | awk '{print $3}'`
-- 
cgit v1.1