mono/monodevelop — pull request #669 by abock (2014-11-11 15:27:42+00:00)
Title: [configure] set PROFILE in config.make

This allows other build scripts to infer the profile under which MonoDevelop is configured.