]> git.ipfire.org Git - thirdparty/kea.git/commitdiff
[#3267] cosmetic changes to find headers script
authorAndrei Pavel <andrei@isc.org>
Thu, 21 Mar 2024 15:59:59 +0000 (17:59 +0200)
committerAndrei Pavel <andrei@isc.org>
Thu, 21 Mar 2024 16:00:16 +0000 (18:00 +0200)
tools/find-uninstalled-headers.py

index 2d3dda450ec4cf271fb03329e82d3373292f9ad6..351f045adeddc64a52eb0738fe129493b20235b4 100755 (executable)
@@ -70,7 +70,7 @@ def main():
             continue
         if first:
             print('The following headers are not in the _HEADERS section of '
-                    'their respective Makefile.am file:')
+                  'their respective Makefile.am file:')
             first = False
         print(f'- {header}')
         failure = True