diff options
Diffstat (limited to 'gnunet-signatures/Makefile')
-rw-r--r-- | gnunet-signatures/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
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 |