#! /bin/bash

set -e

# Umount the recovery partition and remove tmp dir. (LP:#1807835, LP: #1809855)
MP=/tmp/ubuntu-recovery.tmp.mount
if [ -d $MP ]; then
	if mount | grep -q $MP; then
		umount $MP
	fi
	rmdir $MP
fi

exit 0
