From d7be13f88d1261e9e850e29a7db78edc9c786580 Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Mallo Date: Thu, 5 Nov 2020 19:38:45 +0100 Subject: [PATCH] Update garlic options in store stage --- garlic/pp/store.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/garlic/pp/store.nix b/garlic/pp/store.nix index 20178cb..a7fd38e 100644 --- a/garlic/pp/store.nix +++ b/garlic/pp/store.nix @@ -39,9 +39,9 @@ in echo "$exp: not found" echo "Run the experiment and fetch the results with:" echo - #echo " garlic -RF -t ${trebuchetStage}" - echo -e "\e[30;48;5;2mgarlic -RF -t ${trebuchetStage}\e[0m" + echo -e "\e[30;48;5;2mgarlic -RFv ${trebuchetStage}\e[0m" echo + echo "See garlic(1) for more details." echo "cannot continue building $out, aborting" exit 1 fi