diff options
author | dir <dir@ableton.com> | 2017-03-16 18:37:27 +0100 |
---|---|---|
committer | Waldemar Brodkorb <wbx@openadk.org> | 2017-03-22 06:02:39 +0100 |
commit | 33c44324fb1eac278d8121e0ef5e80e28714ab8b (patch) | |
tree | 647c4439e596b76ff7f530749a5ea21b10178611 /scripts | |
parent | 83e2650fb106ebbf9153c30eddfadafca0d05cbf (diff) |
Unmount data partition if one was given
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/install.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/install.sh b/scripts/install.sh index d899d2087..698a4eaa1 100755 --- a/scripts/install.sh +++ b/scripts/install.sh @@ -624,5 +624,8 @@ fi (( quiet )) || print Finishing up... cd "$ADK_TOPDIR" umount_fs "$R" +if (( datafssz )); then + umount_fs $datapart +fi rm -rf "$T" exit 0 |