Move header update script to tools folder

1 year ago · efbb6d6878
parent 883ac051ed
commit efbb6d6878
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