diff options
-rw-r--r-- | Makefile.am | 4 | ||||
-rwxr-xr-x | scripts/maint/practracker/includes.py (renamed from scripts/maint/checkIncludes.py) | 0 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 8eeba5edb7..e973593bd5 100644 --- a/Makefile.am +++ b/Makefile.am @@ -166,7 +166,7 @@ EXTRA_DIST+= \ Makefile.nmake \ README \ ReleaseNotes \ - scripts/maint/checkIncludes.py \ + scripts/maint/practracker/includes.py \ scripts/maint/checkSpace.pl \ scripts/maint/practracker @@ -366,7 +366,7 @@ endif check-includes: if USEPYTHON - $(PYTHON) $(top_srcdir)/scripts/maint/checkIncludes.py + $(PYTHON) $(top_srcdir)/scripts/maint/practracker/includes.py endif check-best-practices: diff --git a/scripts/maint/checkIncludes.py b/scripts/maint/practracker/includes.py index c35fcfd856..c35fcfd856 100755 --- a/scripts/maint/checkIncludes.py +++ b/scripts/maint/practracker/includes.py |