| commit | 0e7e4162469ff8e0139f599e3f37420d8e160390 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Sun Mar 09 11:05:40 2025 -0600 |
| committer | Tom Tromey <tom@tromey.com> | Mon Mar 10 09:18:40 2025 -0600 |
| tree | f6ac3116baa0d2dbf4d202ea3d888e21c48a661c | |
| parent | 72088cbe294598b957a43d923cf070ecf49afe52 [diff] |
Fix check-include-guards.py I noticed that check-include-guards.py doesn't error in certain situations -- but in situations where the --update flag would cause a file to be changed. This patch changes the script to issue an error for any discrepancy. It also fixes the headers that weren't correct. Approved-By: Simon Marchi <simon.marchi@efficios.com>