diff options
| -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 |