|
@@ -548,15 +548,20 @@ Clean(){
|
|
mount-chroot --umount /proc
|
|
mount-chroot --umount /proc
|
|
apt-get-update --host
|
|
apt-get-update --host
|
|
|
|
|
|
|
|
+ ## We remark that we first remove /lib*, and secondly remove /.
|
|
|
|
+ ## If we directly remove /, we obtained some non-empty directories:
|
|
|
|
+ ## /dev/.udev/rules.d.
|
|
if [ $with_unionfs -eq 1 ]; then
|
|
if [ $with_unionfs -eq 1 ]; then
|
|
if [ -d ${UNIONFS_ROOT} ]; then
|
|
if [ -d ${UNIONFS_ROOT} ]; then
|
|
echo -n $"Cleaning build root ${UNIONFS_ROOT} via unionfs ... "
|
|
echo -n $"Cleaning build root ${UNIONFS_ROOT} via unionfs ... "
|
|
|
|
+ rm -rf ${UNIONFS_ROOT}/lib*
|
|
rm -rf ${UNIONFS_ROOT}
|
|
rm -rf ${UNIONFS_ROOT}
|
|
echo $"done."
|
|
echo $"done."
|
|
fi
|
|
fi
|
|
else
|
|
else
|
|
if [ -d ${BUILD_ROOT} ]; then
|
|
if [ -d ${BUILD_ROOT} ]; then
|
|
echo -n $"Cleaning build root ${BUILD_ROOT} ... "
|
|
echo -n $"Cleaning build root ${BUILD_ROOT} ... "
|
|
|
|
+ rm -rf ${UNIONFS_ROOT}/lib*
|
|
rm -rf ${BUILD_ROOT}
|
|
rm -rf ${BUILD_ROOT}
|
|
echo $"done."
|
|
echo $"done."
|
|
fi
|
|
fi
|