diff options
Diffstat (limited to 'lib/profile.sh')
| -rw-r--r-- | lib/profile.sh | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/lib/profile.sh b/lib/profile.sh index d624ed8..5ec2309 100644 --- a/lib/profile.sh +++ b/lib/profile.sh @@ -133,6 +133,28 @@ profile_file_systems_mounted() "prof_${profile}_file_systems_mounted" "${root}" "${arch}" "${plat}" } +profile_bind_mount() +{ + local arch="${1}" + local plat="${2}" + local olddir="${3}" + local newdir="${4}" + + "prof_${profile}_bind_mount" "${arch}" "${plat}" \ + "${olddir}" "${newdir}" +} + +profile_bind_umount() +{ + local arch="${1}" + local plat="${2}" + local olddir="${3}" + local newdir="${4}" + + "prof_${profile}_bind_umount" "${arch}" "${plat}" \ + "${olddir}" "${newdir}" +} + profile_configure_system_native() { local root="${1}" |