diff options
Diffstat (limited to 'priv')
| -rw-r--r-- | priv/templates/extended_bin.dtl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/priv/templates/extended_bin.dtl b/priv/templates/extended_bin.dtl index d4b65d3..bfdc132 100644 --- a/priv/templates/extended_bin.dtl +++ b/priv/templates/extended_bin.dtl @@ -276,7 +276,7 @@ case "$1" in # For e.g. 'setup', one may even want to name another boot script. case "$1" in console) - if [ "$REL_DIR/$REL_NAME.boot" ]; then + if [ -f "$REL_DIR/$REL_NAME.boot" ]; then BOOTFILE="$REL_DIR/$REL_NAME" else BOOTFILE="$REL_DIR/start" |