Makefile: shell fixes

"exit -1" has traditionally had "exit 255" result, but starts to be
rejected by some shells (eg. dash, which is is the default on many
Debian systems):

 host$ bash
 $ exit -1
 exit
 host$ echo $?
 255

 host$ dash
 $ exit -1
 dash: 1: exit: Illegal number: -1
 $
 host$ echo $?
 2

Signed-off-by: Yann Dirson <yann@blade-group.com>
Reviewed-by: Jerome Forissier <jerome@forissier.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
1 file changed
tree: 3c0526f4d61f4f2157c2ecbe88ef18924da76973
  1. acipher/
  2. aes/
  3. hello_world/
  4. hotp/
  5. plugins/
  6. random/
  7. secure_storage/
  8. .gitignore
  9. Android.mk
  10. CMakeLists.txt
  11. CMakeToolchain.txt
  12. LICENSE
  13. Makefile
  14. README.md
README.md

OP-TEE Sample Applications

This git contains source code for sample host and Trusted Application that can be used directly in the OP-TEE project.

All official OP-TEE documentation has moved to http://optee.readthedocs.io. The information that used to be here in this git can be found under optee_examples.

// OP-TEE core maintainers