Merge pull request #114 from andrew-wja/master
authorAnthony Barbier <Anthony.barbier@arm.com>
Tue, 23 May 2017 10:36:01 +0000 (11:36 +0100)
committerGitHub <noreply@github.com>
Tue, 23 May 2017 10:36:01 +0000 (11:36 +0100)
Add a build flag to control whether or not the example programs get built


Trivial merge