diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/update/project/trees | 1 | 
1 files changed, 0 insertions, 1 deletions
| diff --git a/script/update/project/trees b/script/update/project/trees index 0274adaf..de01a942 100755 --- a/script/update/project/trees +++ b/script/update/project/trees @@ -40,7 +40,6 @@ download_for_target()  	rev="undefined"  	x_ fetch_config "${_target}" -	x_ rm -f "${cfgsdir}"/*/seen  	if [ -d "${project}/${tree}" ]; then  		printf "REMARK: download/%s %s: exists. Skipping.\n" \ | 
