diff options
Diffstat (limited to 'lib/profile')
| -rw-r--r-- | lib/profile/proteanos.sh | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/lib/profile/proteanos.sh b/lib/profile/proteanos.sh index 3a3926f..ee3627d 100644 --- a/lib/profile/proteanos.sh +++ b/lib/profile/proteanos.sh @@ -184,6 +184,34 @@ prof_proteanos_file_systems_mounted() [ -e "${root}/dev/null" ] } +prof_proteanos_bind_mount() +{ + local arch="${1}" + local plat="${2}" + local olddir="${3}" + local newdir="${4}" + + case "${arch}" in + *-linux-*) + mount -o bind "${olddir}" "${newdir}" + ;; + esac +} + +prof_proteanos_bind_umount() +{ + local arch="${1}" + local plat="${2}" + local olddir="${3}" + local newdir="${4}" + + case "${arch}" in + *-linux-*) + umount "${newdir}" + ;; + esac +} + prof_proteanos_configure_system_native() { local root="${1}" |