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)