diff options
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 4b68f3f..3540302 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -25,6 +25,14 @@ endif generate/files = +generate/files += COPYING.txt +COPYING.txt: + wget --no-use-server-timestamps -O $@ https://www.gnu.org/licenses/agpl-3.0.txt + +generate/files += cmd/sbc_harness/static/Documentation/YOUR_RIGHTS_AND_OBLIGATIONS/newlib.txt +cmd/sbc_harness/static/Documentation/YOUR_RIGHTS_AND_OBLIGATIONS/newlib.txt: /usr/share/licenses/arm-none-eabi-newlib/COPYING.NEWLIB + cp $< $@ + generate/files += 3rd-party/linux-errno.txt 3rd-party/linux-errno.txt: build-aux/linux-errno.txt.gen $< $(linux.git) $@ @@ -111,7 +119,7 @@ lint/make lint/cmake lint/gitignore lint/ini lint/9p lint/markdown: lint/%: lint/unknown: lint/%: build-aux/lint-unknown ./build-aux/lint-unknown $(sources_$*) lint/all: lint/%: build-aux/lint-generic build-aux/get-dscname - ./build-aux/lint-generic $$(printf '%s\n' $(sources_$*) | grep -vE '^lib9p/tests/[^/]+/static/') + ./build-aux/lint-generic $$(printf '%s\n' $(sources_$*) | grep -vE '/static/') .PHONY: lint lint/% # `format` ######### |