mbedmicro/mbed — pull request #86 by pbrier (2013-10-20 10:04:28+00:00)
Title: Issue #82 - Added command line source/build directory option

Basic command line option for source and build path. Todo: Need to include other parameters, like dependencies etc.