1#!/bin/sh
2
3# Wrapper for User Mode Linux emulation environment
4
5RUNFILE="$(pwd)/${1}.testroot"
6if [ -z "$RUNFILE" ] || [ ! -x "$RUNFILE" ]
7then
8  echo "Can't run '$RUNFILE'"
9  exit 1
10fi
11
12shift
13
14if [ -z $(which linux) ]
15then
16  echo "No User Mode Linux."
17  exit 1;
18fi
19
20linux rootfstype=hostfs rw init="$RUNFILE" TESTDIR=`pwd` PATH="$PATH" $* quiet
21