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"