diff options
| author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-01-04 16:12:34 +0100 |
|---|---|---|
| committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-01-04 16:12:34 +0100 |
| commit | 9b8a787580307cea5a38359c485d521cd8ece820 (patch) | |
| tree | 63fad8ad9e30f7c527f72d71fa33344a1876b035 | |
| parent | f81e247d78c452bd99beda5cf2cb9c41cba11d3c (diff) | |
| download | gana-9b8a787580307cea5a38359c485d521cd8ece820.tar.gz gana-9b8a787580307cea5a38359c485d521cd8ece820.zip | |
do not delete rec
| -rw-r--r-- | gnu-name-system-record-types/Makefile | 1 | ||||
| -rw-r--r-- | 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 index 245f48b..5827e73 100644 --- a/gnu-name-system-record-types/Makefile +++ b/gnu-name-system-record-types/Makefile | |||
| @@ -5,7 +5,6 @@ check: | |||
| 5 | recfix --check registry.rec | 5 | recfix --check registry.rec |
| 6 | 6 | ||
| 7 | distclean: | 7 | distclean: |
| 8 | |||
| 9 | rm -f *.tmp | 8 | rm -f *.tmp |
| 10 | clean: | 9 | clean: |
| 11 | rm -f $(FILES) *.tmp | 10 | rm -f $(FILES) *.tmp |
diff --git a/gnunet-signatures/Makefile b/gnunet-signatures/Makefile index 32640e6..1531a0b 100644 --- a/gnunet-signatures/Makefile +++ b/gnunet-signatures/Makefile | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | FILES=registry.rec gnunet_signatures.h | 1 | FILES=gnunet_signatures.h |
| 2 | all: check $(FILES) | 2 | all: check $(FILES) |
| 3 | check: registry.rec | 3 | check: |
| 4 | recfix --check registry.rec | 4 | recfix --check registry.rec |
| 5 | distclean: | 5 | distclean: |
| 6 | rm -f *.tmp | 6 | rm -f *.tmp |