Patch #738325: Install optimized idlelib files.

diff --git a/Makefile.pre.in b/Makefile.pre.in
index 3bb44a4021e1f90a377772323d73895139d64a44..aabeca66ba7dbefb0b153ba827b0de80d8a15ac9 100644 (file)
--- a/Makefile.pre.in
+++ b/Makefile.pre.in
@@ -878,6 +878,7 @@ idleinstall:
        --install-purelib=$(LIBDEST) \
        --install-scripts=$(BINDIR) \
        --install-platlib=$(DESTSHARED) \
+       --optimize=2 \
        --root=/$(DESTDIR)
 
 # This installs a few of the useful scripts in Tools/scripts