blob: e55e4dbd3ec44fcffeccabd787a356d1d3acd78f [file] [log] [blame]
Rob Landleydcb21222006-03-18 03:00:22 +00001#!/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