[New-bugs-announce] [issue14321] Do not run pgen during the build if files are up to date

[Matthias Klose]

New submission from Matthias Klose <doko at debian.org>:

For a cross build, make tries to run pgen built for the host machine, not the build machine. However it is not necessary to run pgen at all if all the files are up to date. This change implements it.

The release script (if something like this exists) should make sure that the time stamps are correct, and then pgen isn't even built for a native build.

reviewed by MvL

----------
assignee: doko
components: Build
files: pgen.diff
keywords: patch
messages: 155910
nosy: doko
priority: normal
severity: normal
status: open
title: Do not run pgen during the build if files are up to date
versions: Python 3.3
Added file: http://bugs.python.org/file24864/pgen.diff

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue14321>
_______________________________________