02c99a6b24
Some checks failed
hax / fstar-type-checking (push) Has been cancelled
CI / cargo test (push) Has been cancelled
CI / MSRV (push) Has been cancelled
CI / cross test polynomial i586 (push) Has been cancelled
CI / cross test polynomial i686 (push) Has been cancelled
CI / cross test polynomial aarch64 (push) Has been cancelled
16 lines
385 B
Bash
Executable File
16 lines
385 B
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# Copyright 2025 Signal Messenger, LLC
|
|
# SPDX-License-Identifier: AGPL-3.0-only
|
|
|
|
OUT=0
|
|
for pattern in '*.rs' '*.proto' '*.sh'; do
|
|
for file in `find ./ -name "$pattern" ! -path './target/*' ! -path './proofs/*' ! -path './.git/*'`; do
|
|
if ! head $file | grep -q Copyright; then
|
|
OUT=1
|
|
echo "Missing copyright in '$file'" 1>&2
|
|
fi
|
|
done
|
|
done
|
|
exit $OUT
|