Move header update script to tools folder

2022-03-04 15:52:18 -05:00 · 2022-03-04 15:52:18 -05:00 · b1c4c8cb5e
commit b1c4c8cb5e
parent e4fe5bbfec
3 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -28,7 +28,7 @@ test-update:

 # Update the per-file header comments
 update-headers:
-	php build/update_header_comments.php
+	php tools/update_header_comments.php

 # Run unit tests and generate test-coverage report
 coverage:
--- a/tools/header_comment.txt
+++ b/tools/header_comment.txt
--- a/tools/update_header_comments.php
+++ b/tools/update_header_comments.php