changeset 139:4beed84d1539

Optional second argument to run something other than /tools/bin/sh.
author Rob Landley <rob@landley.net>
date Mon, 26 Mar 2007 18:45:10 -0400
parents 7dffe9648a56
children 6cfa6ad0d3ce
files run-mini-native.sh
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/run-mini-native.sh	Mon Mar 26 18:44:16 2007 -0400
+++ b/run-mini-native.sh	Mon Mar 26 18:45:10 2007 -0400
@@ -2,5 +2,7 @@
 
 source include.sh
 
+INIT="$2"
+[ -z "$INIT" ] && INIT=/tools/bin/sh
 run_emulator build/image-"$1".ext2 build/mini-native-"$1"/zImage-"$1" \
-	"-nographic rw init=/tools/bin/sh panic=1 PATH=/tools/bin"
+	"rw init=$INIT panic=1 PATH=/tools/bin"