1From 282f7ede4ae524587a78ddd3b17bdf65aa0dcd04 Mon Sep 17 00:00:00 2001
2From: Damon Lee <Damon.Lee@data61.csiro.au>
3Date: Thu, 12 Jul 2018 15:11:40 +1000
4Subject: [PATCH 2/2] Use the correct ARM machine names
5
6---
7 buildrump.sh | 8 +++++---
8 1 file changed, 5 insertions(+), 3 deletions(-)
9
10diff --git a/buildrump.sh b/buildrump.sh
11index 1864f1f..4c6bd62 100755
12--- a/buildrump.sh
13+++ b/buildrump.sh
14@@ -784,7 +784,7 @@ makebuild ()
15 	    && appendvar DIRS_second ${SRCDIR}/sys/rump/share
16 
17 	if [ ${MACHINE} = "i386" -o ${MACHINE} = "amd64" \
18-	     -o ${MACHINE#evbearm} != ${MACHINE} \
19+	     -o ${MACHINE} = "evbarm" \
20 	     -o ${MACHINE#evbppc} != ${MACHINE} ]; then
21 		DIRS_emul=sys/rump/kern/lib/libsys_linux
22 	fi
23@@ -1176,10 +1176,12 @@ probearm ()
24 
25 	# check for big endian
26 	if cppdefines '__ARMEL__'; then
27-		MACHINE="evbearm${hf}-el"
28+		#MACHINE="evbearm${hf}-el"
29+		MACHINE="evbarm"
30 		MACHINE_GNU_ARCH="arm"
31 	else
32-		MACHINE="evbearm${hf}-eb"
33+		#MACHINE="evbearm${hf}-eb"
34+		MACHINE="evbarm"
35 		MACHINE_GNU_ARCH="armeb"
36 	fi
37 
38-- 
392.11.0
40
41