commit | ac826aac285a9f613b095f4214d0a36a78a243ea | [log] [tgz] |
---|---|---|
author | Martin v. Löwis <martin@v.loewis.de> | Fri May 16 05:40:31 2003 +0000 |
committer | Martin v. Löwis <martin@v.loewis.de> | Fri May 16 05:40:31 2003 +0000 |
tree | 1509707aef00362c71650855db96559204e61f9a | |
parent | 6e0f5e077a38d0d82932cba87d4fa6f1d3066d7f [diff] [blame] |
Patch #738325: Install optimized idlelib files.
diff --git a/Makefile.pre.in b/Makefile.pre.in index 3bb44a4..aabeca6 100644 --- a/Makefile.pre.in +++ b/Makefile.pre.in
@@ -878,6 +878,7 @@ --install-purelib=$(LIBDEST) \ --install-scripts=$(BINDIR) \ --install-platlib=$(DESTSHARED) \ + --optimize=2 \ --root=/$(DESTDIR) # This installs a few of the useful scripts in Tools/scripts