#!/bin/sh

if [ `whoami` != 'root' ]
then
	echo 'Execute this script as root.'
	exit 1
fi

umount	sage_chroot/dev/pts
umount	sage_chroot/proc
umount	sage_chroot/dev
umount	sage_chroot