From ef5496e9cefd9381f053b4875605f60f4d2b4ec6 Mon Sep 17 00:00:00 2001
From: Antti Kantee <pooka@iki.fi>
Date: Fri, 19 Dec 2014 11:41:10 +0000
Subject: [PATCH] figure out target machine

also for future unification with baremetal
---
 buildxen.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/buildxen.sh b/buildxen.sh
index 6b8a635..ae7f1ee 100755
--- a/buildxen.sh
+++ b/buildxen.sh
@@ -49,6 +49,8 @@ CPPFLAGS+=      -D_PTHREAD_GETTCB_EXT=_lwp_rumpxen_gettcb
 EOF
 
 RUMPMAKE=$(pwd)/rumptools/rumpmake
+MACHINE=$(${RUMPMAKE} -f /dev/null -V '${MACHINE}')
+[ -z "${MACHINE}" ] && die could not figure out target machine
 
 # build rump kernel
 ./buildrump.sh/buildrump.sh ${BUILDXEN_QUIET} ${STDJ} -k \
-- 
2.39.5