| lh | 9ed821d | 2023-04-07 01:36:19 -0700 | [diff] [blame] | 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 | ||||