Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix setting platform options via configuration file
Make sure shell config-file parameter is set before setting up platform because it is used by the paltform to read the initial options.
- Loading branch information