diff --git a/Makefile b/Makefile index e2f389cf0de..77f00df7e48 100644 --- a/Makefile +++ b/Makefile @@ -64,6 +64,7 @@ default: -$(CHMOD) 755 install-sh $(MAKE) subdirs $(MAKE) $(FILES_DST) + $(PYTHON) -m compileall $(ARCH_DISTDIR) $(MAKE) manifests @if [ `wc -l < "$(ERRORLOG)"` -gt 5 ] ; then \ echo "--" >> $(ERRORLOG) ; \ @@ -105,6 +106,7 @@ libs: $(MAKE) -C include $(MAKE) subdirs SUBDIRS=$(LIBDIRS) $(MAKE) $(FILES_DST) + $(PYTHON) -m compileall $(ARCH_DISTDIR) cleandistdirs: -rm -rf $(ARCH_DISTDIR)