From a17f6845bac4bcc0e2b81e71e2782d63b6a82a44 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Tue, 28 Aug 2018 12:54:28 +0200 Subject: utils: add date (time) to echo_stage --- scripts/utils | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts') diff --git a/scripts/utils b/scripts/utils index 28c2d5a..713d8f4 100644 --- a/scripts/utils +++ b/scripts/utils @@ -2,7 +2,7 @@ ## Simple echo wrappers ######################################################### echo_stage() { - echo -e "\033[1;34m========== $@ ==========\033[0m" >&2 + echo -e "\033[1;34m========== $@ ==========\033[0m ($(date))" >&2 } echo_info() { echo -e "\033[1;32m---------- $@ ----------\033[0m" >&2 -- cgit v1.2.3