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