diff options
Diffstat (limited to 'gnu-taler-extensions/Makefile')
-rw-r--r-- | gnu-taler-extensions/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gnu-taler-extensions/Makefile b/gnu-taler-extensions/Makefile new file mode 100644 index 0000000..edb88bb --- /dev/null +++ b/gnu-taler-extensions/Makefile | |||
@@ -0,0 +1,6 @@ | |||
1 | all: check | ||
2 | |||
3 | check: registry.rec | ||
4 | recfix --check registry.rec | ||
5 | |||
6 | .PHONY: all check | ||