From efbb6d6878ef6814e094cfe99feca6119d7816bf Mon Sep 17 00:00:00 2001 From: "Timothy J. Warren" Date: Fri, 4 Mar 2022 15:52:18 -0500 Subject: [PATCH] Move header update script to tools folder --- justfile | 2 +- {build => tools}/header_comment.txt | 0 {build => tools}/update_header_comments.php | 0 3 files changed, 1 insertion(+), 1 deletion(-) rename {build => tools}/header_comment.txt (100%) rename {build => tools}/update_header_comments.php (100%) diff --git a/justfile b/justfile index c58c146e..b154948d 100644 --- a/justfile +++ b/justfile @@ -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: diff --git a/build/header_comment.txt b/tools/header_comment.txt similarity index 100% rename from build/header_comment.txt rename to tools/header_comment.txt diff --git a/build/update_header_comments.php b/tools/update_header_comments.php similarity index 100% rename from build/update_header_comments.php rename to tools/update_header_comments.php