commit | 0d1536654d9c7b1d9cfa0d07aea83d89a75f48ba | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Wed Dec 19 09:24:40 2001 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Dec 19 09:24:40 2001 +0000 |
tree | 60e8aa7f3378490c1f7be8cde1f6195f3232a857 | |
parent | 1fbb577ee26becacf53b92c53df356aaf227ea73 [diff] |
When running regen for the plat directories we should use the BUILDEXT extension, not the EXT one, as regen uses the python binary in the build directory. Fixes #493959.