build/bin/sage-logger [GITHUB_ACTIONS]: Fix env syntax, run only in p…

…refixed logs
sagemath · Jun 30, 2023 · 95705ba · 95705ba
1 parent dd3db33
commit 95705ba
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/build/bin/sage-logger b/build/bin/sage-logger
@@ -90,10 +90,8 @@ else
     # We trap SIGINT such that SIGINT interrupts the main process being
     # run, not the logging.
 
-
-
     ( exec 2>&1; eval "$cmd" ) | \
-        ( trap '' SIGINT; if [ -n "$$(GITHUB_ACTIONS)" ]; then echo "::group::${logname}"; fi; tee -a "$logfile" | $SED; if [ -n "$$(GITHUB_ACTIONS)" ]; then echo "::endgroup::"; fi )
+        ( trap '' SIGINT; if [ -n "$GITHUB_ACTIONS" -a -n "$prefix" ]; then echo "::group::${logname}"; fi; tee -a "$logfile" | $SED; if [ -n "$GITHUB_ACTIONS" -a -n "$prefix" ]; then echo "::endgroup::"; fi )
 
     pipestatus=(${PIPESTATUS[*]})