diff options
| -rwxr-xr-x | resources/scripts/handle/config/file | 3 | 
1 files changed, 2 insertions, 1 deletions
| diff --git a/resources/scripts/handle/config/file b/resources/scripts/handle/config/file index d8e217ce..89d57cd0 100755 --- a/resources/scripts/handle/config/file +++ b/resources/scripts/handle/config/file @@ -122,7 +122,8 @@ handle_defconfig()  handle_dependencies()  {  	target_dir="${cfgsdir}/${target}" -	mkdir -p "${elfdir}/${target}" +	mkdir -p "${elfdir}/${target}" || \ +	    fail "handle_dependencies: !mkdir -p ${elfdir}/${target}"  	tree="undefined"  	arch="undefined" | 
