diff options
Diffstat (limited to 'gnu-name-system-record-types/Makefile')
| -rw-r--r-- | gnu-name-system-record-types/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu-name-system-record-types/Makefile b/gnu-name-system-record-types/Makefile new file mode 100644 index 0000000..8364f52 --- /dev/null +++ b/gnu-name-system-record-types/Makefile | |||
| @@ -0,0 +1,2 @@ | |||
| 1 | check: | ||
| 2 | recfix --check registry.rec | ||