chapel-lang/chapel — pull request #396 by thomasvandoren (2014-09-12 03:34:21+00:00)
Title: Build configs updates.

Updates to `build_configs.py` based on Kyle's review feedback.

Open question: Should `build_configs.py` be placed in util/ dir? My vote is yes. It feels like a more natural spot, especially when included in the release tarball.