
Made a change to the platform script so that if CHPL_PLATFORM
is already set, it will return that value rather than trying
to determine what platform you're on.  I've convinced myself
that this shouldn't break anything, but please let me know
if it creates problems for anyone's setup.


git-svn-id: 88467cb1fb04b8a755be7e1ee1026be4190196ef@8091 3a8e244f-b0f2-452b-bcba-4c88e055c3ca

CoryMcCartan/chapel,chizarlicious/chapel,chizarlicious/chapel,chizarlicious/chapel,sungeunchoi/chapel,hildeth/chapel,CoryMcCartan/chapel,chizarlicious/chapel,sungeunchoi/chapel,CoryMcCartan/chapel,CoryMcCartan/chapel,sungeunchoi/chapel,chizarlicious/chapel,CoryMcCartan/chapel,sungeunchoi/chapel,hildeth/chapel,hildeth/chapel,hildeth/chapel,hildeth/chapel,sungeunchoi/chapel,sungeunchoi/chapel,sungeunchoi/chapel,hildeth/chapel,CoryMcCartan/chapel,sungeunchoi/chapel,CoryMcCartan/chapel,hildeth/chapel,chizarlicious/chapel,chizarlicious/chapel