diff options
Diffstat (limited to 'script/handle/make/file')
| -rwxr-xr-x | script/handle/make/file | 13 | 
1 files changed, 6 insertions, 7 deletions
| diff --git a/script/handle/make/file b/script/handle/make/file index 19807425..b76eadcd 100755 --- a/script/handle/make/file +++ b/script/handle/make/file @@ -34,13 +34,12 @@ handle_dependencies()  	[ -d "${project}" ] || \  		err "handle_dependencies: ${project%/*} not downloaded" -	if [ "${project}" = "uefitool" ]; then -		( -		cd uefitool || err "handle_dependencies: !cd uefitool" -		cmake UEFIExtract/ || [ -f Makefile ] || \ -		    err "handle_dependencies: !cmake UEFIExtract/" -		) -	fi +	[ "${project}" = "uefitool" ] || return 0 # TODO: remove hardcoding +	( +	cd uefitool || err "handle_dependencies: !cd uefitool" +	cmake UEFIExtract/ || [ -f Makefile ] || \ +	    err "handle_dependencies: !cmake UEFIExtract/" +	)  }  run_make_command() | 
