diff options
| -rw-r--r-- | Makefile.pre.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.pre.in b/Makefile.pre.in index cec8d3c1a2..dee3fd0593 100644 --- a/Makefile.pre.in +++ b/Makefile.pre.in @@ -1191,7 +1191,7 @@ funny: -o -print # Perform some verification checks on any modified files. -check: +patchcheck: $(RUNSHARED) ./$(BUILDPYTHON) $(srcdir)/Tools/scripts/patchcheck.py # Dependencies |