diff options
| -rw-r--r-- | lib/session.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/session.sh b/lib/session.sh index 1430493..0d66eeb 100644 --- a/lib/session.sh +++ b/lib/session.sh @@ -51,7 +51,8 @@ session_begin() # Check for a sessions pool. if [ -d "${session_root}/prokit/sessions" ]; then - if ! profile_file_systems_mounted; then + if ! profile_file_systems_mounted "${session_root}" \ + "${session_arch}" "${session_plat}"; then # If a sessions pool exists but the file systems aren't # mounted, clean up the old sessions and mount the file # systems. |