From 8392b91c505eee1e814b490fb700aded18edf00f Mon Sep 17 00:00:00 2001
From: Antti Kantee <pooka@iki.fi>
Date: Thu, 5 Jun 2014 23:21:42 +0000
Subject: [PATCH] Support "justcheckout"

from the rumprun build script ... yes, they still need to be united.
---
 buildxen.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/buildxen.sh b/buildxen.sh
index c1c546c..d14dab4 100755
--- a/buildxen.sh
+++ b/buildxen.sh
@@ -34,6 +34,8 @@ if [ ! -d rumpsrc ]; then
 	cp -Rp nblibs/* rumpsrc/
 fi
 
+[ "$1" = "justcheckout" ] && { echo ">> $0 done" ; exit 0; }
+
 # build tools
 ./buildrump.sh/buildrump.sh -${BUILDXEN_QUIET:-q} ${STDJ} -k \
     -V MKPIC=no -s rumpsrc -T rumptools -o rumpobj -N \
-- 
2.39.5