diff options
| -rwxr-xr-x | libs/project | 2 | ||||
| -rwxr-xr-x | libs/tool | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/libs/project b/libs/project index fc7ee232..f90b368e 100755 --- a/libs/project +++ b/libs/project @@ -152,7 +152,7 @@ project_action() { project_action_check "$action" "$project" "$@" - printf '%s\n' "Project $project $action (with ${arguments:-no argument})" + printf '%s\n\n' "Project $project $action (with ${arguments:-no argument})" if "$action" "$@"; then printf '\n%s\n' "Project $project $action (with ${arguments:-no argument}) completed" @@ -97,7 +97,7 @@ tool_action() { return 0 fi - printf '%s\n' "Tool $tool $action (with ${arguments:-no argument})" + printf '%s\n\n' "Tool $tool $action (with ${arguments:-no argument})" ( set -e |