commit 9b8a787580307cea5a38359c485d521cd8ece820 parent f81e247d78c452bd99beda5cf2cb9c41cba11d3c Author: Martin Schanzenbach <schanzen@gnunet.org> Date: Tue, 4 Jan 2022 16:12:34 +0100 do not delete rec Diffstat:
| M | gnu-name-system-record-types/Makefile | | | 1 | - |
| M | gnunet-signatures/Makefile | | | 4 | ++-- |
2 files changed, 2 insertions(+), 3 deletions(-)
diff --git a/gnu-name-system-record-types/Makefile b/gnu-name-system-record-types/Makefile @@ -5,7 +5,6 @@ check: recfix --check registry.rec distclean: - rm -f *.tmp clean: rm -f $(FILES) *.tmp diff --git a/gnunet-signatures/Makefile b/gnunet-signatures/Makefile @@ -1,6 +1,6 @@ -FILES=registry.rec gnunet_signatures.h +FILES=gnunet_signatures.h all: check $(FILES) -check: registry.rec +check: recfix --check registry.rec distclean: rm -f *.tmp