diff -r b349c302413c -r de9a870ce36e scripts/check_license_header.py
--- a/scripts/check_license_header.py	Sat Nov 23 19:42:35 2024 -0600
+++ b/scripts/check_license_header.py	Sat Nov 23 20:56:06 2024 -0600
@@ -66,6 +66,10 @@
 debug = False
 
 for filename in sys.argv[3:]:
+    if filename.endswith('.o'):
+        # On Windows, we sometimes have object files in sources, which we don't
+        # want to try to read.
+        continue
     file_data = None
     with open(os.path.join(path, filename), 'r') as f:
         file_data = f.read().splitlines(keepends=True)