diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-02 12:34:00 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-02 12:34:00 +0100 |
commit | 5d56820e0ab1fc147b45728c6ac89c4ac0b90e54 (patch) | |
tree | 678328312458f6ee06425b368d7bcfa97b02dad4 /reproduce/analysis/make/top.mk | |
parent | 67b1fe89dc6ec608c69f04c19941db6e3679c1e3 (diff) |
Copyright notice added to remaining files
After doing a systematic search for files without a copyright notice, a few
more were found that didn't have a notice. So a notice was added for them.
I used this Bash command to find the files:
for f in $(find ./ -type f); do \
if [[ $f != *.git* ]]; then \
n=$(grep -i copyright $f | wc -l); \
echo "$n $f"; \
fi; \
done | awk '$1==0'
Diffstat (limited to 'reproduce/analysis/make/top.mk')
0 files changed, 0 insertions, 0 deletions