Hi, Fixed and checked in. https://github.com/apache/flex-sdk/commit/9f3efa46684bf26381b3e9cb355bff61a013c8e6#build.xml
The question now is do we: 1) Make a new point release. 2) Document this somewhere including a corrected flex config file to download. 3) Write a script to correct bad config files out there. Justin
