diff options
Diffstat (limited to 'Makefile.pre.in')
| -rw-r--r-- | Makefile.pre.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.pre.in b/Makefile.pre.in index f81702b..f2f3336 100644 --- a/Makefile.pre.in +++ b/Makefile.pre.in @@ -616,9 +616,10 @@ libinstall: $(PYTHON) $(srcdir)/Lib/$(PLATDIR) done $(INSTALL_DATA) $(srcdir)/LICENSE $(LIBDEST)/LICENSE.txt PYTHONPATH=$(LIBDEST) \ - ./$(PYTHON) -tt $(LIBDEST)/compileall.py $(LIBDEST) + ./$(PYTHON) -tt $(LIBDEST)/compileall.py -x badsyntax \ + $(LIBDEST) PYTHONPATH=$(LIBDEST) \ - ./$(PYTHON) -O $(LIBDEST)/compileall.py $(LIBDEST) + ./$(PYTHON) -O $(LIBDEST)/compileall.py -x badsyntax $(LIBDEST) # Create the PLATDIR source directory, if one wasn't distributed.. $(srcdir)/Lib/$(PLATDIR): |