OP-TEE/optee_os — pull request #41 by jforissier (2014-09-08 09:30:53+00:00)
Title: Makefile variables $(*-dir) should not have a trailing slash

As a general rule, Makefile variables that are directories should not have
a trailing slash, and should be used as: $(some-dir)/some-file rather than
$(some-dir)some-file. This is more readable.