tree 83f3cd04667de1cc0ad294679030d0d633cc7429
parent f7c413134a02a807d50880196a9e2b3e73a382ca
author Jeffrey Townsend <jeffrey.townsend@bigswitch.com> 1343081807 -0700
committer Jeffrey Townsend <jeffrey.townsend@bigswitch.com> 1343081807 -0700

Added command line option "--platform-args".
This allows arguments to be passed to the platform config file for additional
processing.