diff options
Diffstat (limited to 'src/cmd/installer-pc.sh')
| -rw-r--r-- | src/cmd/installer-pc.sh | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/cmd/installer-pc.sh b/src/cmd/installer-pc.sh index d85558b..fc58331 100644 --- a/src/cmd/installer-pc.sh +++ b/src/cmd/installer-pc.sh @@ -18,7 +18,7 @@ # along with the ProteanOS Development Kit. If not, see # <http://www.gnu.org/licenses/>. -cmd_installer_pc_optstring='a:p:m:' +cmd_installer_pc_optstring='a:p:m:F' _cmd_installer_pc_log_print() { @@ -76,6 +76,7 @@ _cmd_installer_pc_make_partition_and_fs() cmd_installer_pc_main() { + local foreign= local suite= local dev= local profile= @@ -104,6 +105,12 @@ cmd_installer_pc_main() return 1 fi + if [ "x${cmd_installer_pc_opt_F+set}" = 'xset' ]; then + foreign=true + else + foreign=false + fi + suite="${1}" dev="${2}" shift 2 @@ -133,7 +140,7 @@ cmd_installer_pc_main() if ! install_system "${cmd_installer_pc_opt_m-}" "${suite}" \ "${cmd_installer_pc_opt_a-}" \ "${cmd_installer_pc_opt_p-}" \ - "${root}" false; then + "${root}" "${foreign}"; then block_umount "${root}" return 2 fi |