From 6872cfe72349e033863fc9c7b5f67e75eb62dd8a Mon Sep 17 00:00:00 2001 From: Diogo Teles Sant'Anna Date: Wed, 17 Jan 2024 14:14:21 -0300 Subject: [PATCH] Update Makefile Signed-off-by: Diogo Teles Sant'Anna --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 6d2a9a68e0..22c1c496d6 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,5 @@ +# Nevermind, just testing + SHELL := /bin/bash OUTPUT_FORMAT = $(shell if [ "${GITHUB_ACTIONS}" == "true" ]; then echo "github"; else echo ""; fi)