From 5ab44005656e8eab0dab54ff6f88d57bae28a3a2 Mon Sep 17 00:00:00 2001
From: a2geek <robgreene@gmail.com>
Date: Thu, 8 Oct 2026 12:54:56 -0500
Subject: [PATCH] Moving license check into a script since it's run manually
 enough that the copy/paste was annoying.

---
 .github/workflows/build.yml | 2 +-
 scripts/license-check.sh    | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)
 create mode 100755 scripts/license-check.sh

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index a8246d48..d517295c 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -99,7 +99,7 @@ jobs:
       - name: Look for license phrase
         run: |
           outfile=$(mktemp)
-          find . -name "*.java" -not -name "Sleak.java" -not -name module-info.java | xargs grep -L "GNU General Public License" > ${outfile}
+          ./scripts/license-check.sh > ${outfile}
           if [ -s "${outfile}" ]
           then
             echo "License headers missing on the following files:"
diff --git a/scripts/license-check.sh b/scripts/license-check.sh
new file mode 100755
index 00000000..63c92139
--- /dev/null
+++ b/scripts/license-check.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+find . -name "*.java" -not -name "Sleak.java" -not -name module-info.java | xargs grep -L "GNU General Public License"