diff options
| author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-02-21 10:34:00 -0700 |
|---|---|---|
| committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-02-21 10:34:00 -0700 |
| commit | 19a41387633e53d64d8a0ae69f3d3d3e35641c8d (patch) | |
| tree | a89dead6dd34f95b3e644edeb02fe1ca70a28784 /GNUmakefile | |
| parent | 4ba0b95dc825a83748b7cb2aa528411026d5bada (diff) | |
| parent | 5dab625d981e0039a5d874f5d8a6f795472785bc (diff) | |
Merge branch 'lukeshu/misc'
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` ######### |