mozilla/rust — pull request #8139 by brson (2013-07-31 00:13:30+00:00)
Title: Remove old task apis, some cleanup

This removes a bunch of options from the task builder interface that are irrelevant to the new scheduler and were generally unused anyway. It also bumps the stack size of new scheduler tasks so that there's enough room to run rustc and changes the interface to `Thread` to not implicitly join threads on destruction, but instead require an explicit, and mandatory, call to `join`.