Stop cluster when running ./make.sh clean.

diff --git a/tools/make-interactive b/tools/make-interactive
index a47b86eb9349f16bac8a50fdec13a79fed7f285f..858d338bb05eb2a12f19b19c9a86d13e1f22e945 100644 (file)
--- a/tools/make-interactive
+++ b/tools/make-interactive
@@ -107,6 +107,8 @@ config)
        ;;
 
 clean)
+       iceccd_stop
+
        for i in $(mount | grep $BASEDIR | cut -d " " -f 1); do
                umount $i
        done