diff options
Diffstat (limited to 'defaultenv-2/base/bin/boot')
| -rw-r--r-- | defaultenv-2/base/bin/boot | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/defaultenv-2/base/bin/boot b/defaultenv-2/base/bin/boot new file mode 100644 index 0000000000..c5ad73dde8 --- /dev/null +++ b/defaultenv-2/base/bin/boot @@ -0,0 +1,18 @@ +#!/bin/sh + +if [ $# = 0 ]; then + scr="$global.boot.default" +else + scr="$1" +fi + +if [ -n "$scr" ]; then + if [ ! -f /env/boot/$scr ]; then + echo -e "/env/boot/$scr does not exist.\nValid choices:" + ls /env/boot + exit + fi + /env/boot/$scr +fi + +bootm |