figure out target machine

also for future unification with baremetal

diff --git a/buildxen.sh b/buildxen.sh
index 6b8a635711da7d0ac2357f091061a15a0f9189fa..ae7f1eeb052ae05affdd62650127ba2c51014174 100755 (executable)
--- 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 \