diff options
| author | Jordan Wilberding <[email protected]> | 2014-06-28 11:41:33 +0200 |
|---|---|---|
| committer | Jordan Wilberding <[email protected]> | 2014-06-28 11:41:33 +0200 |
| commit | 6b2c201d3af9b9042af719fdc58af6b0f820b1c3 (patch) | |
| tree | 7569726ec28521fd3e2db44fee32772c075efd47 | |
| parent | c2d14cb9574492f57e79fc8a8b025bf33cc5c5d1 (diff) | |
| parent | 13a76fa25a67cc6d9e3a1192d5acc90d36a81585 (diff) | |
| download | relx-6b2c201d3af9b9042af719fdc58af6b0f820b1c3.tar.gz relx-6b2c201d3af9b9042af719fdc58af6b0f820b1c3.tar.bz2 relx-6b2c201d3af9b9042af719fdc58af6b0f820b1c3.zip | |
Merge pull request #204 from tsloughter/master
fix for running console on target system. meaning start.boot
| -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" |