1 files changed, 20 insertions, 0 deletions
diff --git a/testsuite/umlwrapper.sh b/testsuite/umlwrapper.sh
new file mode 100755
index 000000000..e55e4dbd3
--- /dev/null
+++ b/testsuite/umlwrapper.sh
@@ -0,0 +1,20 @@
+#!/bin/sh
+# Wrapper for User Mode Linux emulation environment
+RUNFILE="$(pwd)/${1}.testroot"
+if [ -z "$RUNFILE" ] || [ ! -x "$RUNFILE" ]
+then
+  echo "Can't run '$RUNFILE'"
+  exit 1
+fi
+shift
+if [ -z $(which linux) ]
+then
+  echo "No User Mode Linux."
+  exit 1;
+fi
+linux rootfstype=hostfs rw init="$RUNFILE" TESTDIR=`pwd` PATH="$PATH" $* quiet

diff --git a/testsuite/umlwrapper.sh b/testsuite/umlwrapper.sh new file mode 100755 index 000000000..e55e4dbd3 --- /dev/null +++ b/testsuite/umlwrapper.sh
@@ -0,0 +1,20 @@
	1	#!/bin/sh
	2
	3	# Wrapper for User Mode Linux emulation environment
	4
	5	RUNFILE="$(pwd)/${1}.testroot"
	6	if [ -z "$RUNFILE" ] \|\| [ ! -x "$RUNFILE" ]
	7	then
	8	echo "Can't run '$RUNFILE'"
	9	exit 1
	10	fi
	11
	12	shift
	13
	14	if [ -z $(which linux) ]
	15	then
	16	echo "No User Mode Linux."
	17	exit 1;
	18	fi
	19
	20	linux rootfstype=hostfs rw init="$RUNFILE" TESTDIR=`pwd` PATH="$PATH" $* quiet