diff options
| -rwxr-xr-x | script/handle/make/file | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/handle/make/file b/script/handle/make/file index dcb2fc6b..0cf6e34c 100755 --- a/script/handle/make/file +++ b/script/handle/make/file @@ -60,7 +60,7 @@ handle_dependencies() if [ "${project}" = "uefitool" ]; then ( cd uefitool || err "handle_dependencies: !cd uefitool" - cmake UEFIExtract/ || \ + [ ! -f UEFIExtract/Makefile ] || cmake UEFIExtract/ || \ err "handle_dependencies: !cmake UEFIExtract/" ) fi |