diff options
| author | Victor Chong <victor.chong@linaro.org> | 2019-02-25 10:03:48 +0000 |
|---|---|---|
| committer | Leif Lindholm <leif.lindholm@linaro.org> | 2019-03-28 12:27:45 +0000 |
| commit | a34412f33d9cdd1a646e02b92644431bfb14a2a3 (patch) | |
| tree | d1765713ba1239477180a7052150cc58d8f75471 | |
| parent | 2c022fb89d9fd1f16e6499786f7a1759cdadc668 (diff) | |
opteed-build.sh: change file for detection of..
..trusted OS directory
documentation/optee_design.md was recently removed in a patch upstream
so use another file less likely to be removed again.
Signed-off-by: Victor Chong <victor.chong@linaro.org>
Reviewed-by: Leif Lindholm <leif.lindholm@linaro.org>
| -rwxr-xr-x | opteed-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/opteed-build.sh b/opteed-build.sh index acb39dc..6708587 100755 --- a/opteed-build.sh +++ b/opteed-build.sh @@ -126,7 +126,7 @@ function build_platform # Check to see if we are in a trusted OS directory # refuse to continue if we aren't -if [ ! -f documentation/optee_design.md ] +if [ ! -f core/tee/tee_svc.c ] then echo "ERROR: we aren't in the optee_os directory." usage |