control: save total execution time

2021-02-08 14:14:08 +01:00
parent ed1cd75d56
commit e5561b8735
3 changed files with 15 additions and 7 deletions
--- a/garlic/sh/garlic
+++ b/garlic/sh/garlic
@@ -136,6 +136,8 @@ do_fetch() {
    --include='*/*/garlic_config.json' \
    --include='*/*/std*.log' \
    --include='*/*/*/std*.log' \
+    --include='*/*/*/.garlic' \
+    --include='*/*/*/.garlic/*' \
    --exclude='*/*/*/*' \
    $exp $garlicTemp