| 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.