diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/update/trees | 1 | 
1 files changed, 1 insertions, 0 deletions
| diff --git a/script/update/trees b/script/update/trees index 00ba83f1..fac37ccd 100755 --- a/script/update/trees +++ b/script/update/trees @@ -37,6 +37,7 @@ main()  	elfdir="elf/${project}"  	cfgsdir="config/${project}" +	remkdir "${tmp_git_dir%/*}"  	check_project  	_cmd="build_projects" | 
