diff options
Diffstat (limited to 'src/bin/scripts/Makefile')
| -rw-r--r-- | src/bin/scripts/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bin/scripts/Makefile b/src/bin/scripts/Makefile index 8b6f54ccee8..c8317164f8a 100644 --- a/src/bin/scripts/Makefile +++ b/src/bin/scripts/Makefile @@ -69,7 +69,7 @@ clean distclean maintainer-clean: rm -f dumputils.c print.c mbprint.c kwlookup.c keywords.c rm -rf tmp_check -check: all +check: $(prove_check) installcheck: |