OP-TEE/optee_os — pull request #94 by jforissier (2014-10-29 13:56:02+00:00)
Title: Parse $(PLATFORM) as $(PLATFORM)-$(PLATFORM_FLAVOR) when it contains a h...

...yphen

One can use:
$ make PLATFORM=vexpress-fvp ...
instead of:
$ make PLATFORM=vexpress PLATFORM_FLAVOR=fvp ...