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)