copy_addon_file(): do not be verbose to the user, but send it to the log instead

diff --git a/grml-live b/grml-live
index e983f42..4d4722a 100755 (executable)
--- a/grml-live
+++ b/grml-live
@@ -233,7 +233,7 @@ copy_addon_file() {
     return $?
   fi
   if [ -e "$2/$1" ]; then
-    echo "Copying $1 from system"
+    log   "Copying $1 from system"
     cp "$2/$1" "${BUILD_OUTPUT}/boot/$3/"
     return $?
   fi