From 78adbc670b9faf448bad0796116c941386ea7662 Mon Sep 17 00:00:00 2001 From: Jerry Zhao Date: Tue, 19 Mar 2024 23:42:23 -0700 Subject: [PATCH] Add print INFO to header modification script --- scripts/insert-includes.py | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/insert-includes.py b/scripts/insert-includes.py index c5482196..b939878a 100755 --- a/scripts/insert-includes.py +++ b/scripts/insert-includes.py @@ -42,6 +42,7 @@ def process(inF, outF): potentialIncFileName = d + "/" + match.group(1) if os.path.exists(potentialIncFileName): found = True + print("[INFO] Found missing include in {}".format(potentialIncFileName)) with open(potentialIncFileName, 'r') as incFile: for iline in incFile: outFile.write(iline)