diff options
| -rw-r--r-- | Makefile.pre.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.pre.in b/Makefile.pre.in index 3bb44a4021..aabeca66ba 100644 --- 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 |