From e16032febe26f69746d6f18a62d39c1091972085 Mon Sep 17 00:00:00 2001 From: Tucker Date: Thu, 3 Nov 2022 22:54:16 -0400 Subject: [PATCH] Generate headers when formatting. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 4c06ffd34c..d21435c394 100644 --- a/Makefile +++ b/Makefile @@ -139,7 +139,7 @@ clean: rm -f .coverage* .PHONY: format -format: +format: gen-header echo "isort, version `isort --version-number`" isort -m VERTICAL_HANGING_INDENT --skip-gitignore --ac --tc --profile black ./baselines/marl_benchmark/ ./cli ./envision ./examples/ ./utils/ ./scenarios/ ./smarts ./ultra ./zoo black --version