summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/cmd/installer-pc.sh11
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