diff --git a/script/update/project/trees b/script/update/project/trees index 5c1609c3..6ce53250 100755 --- a/script/update/project/trees +++ b/script/update/project/trees @@ -157,13 +157,6 @@ prepare_new_tree() err "cannot patch: ${project}/${tree}" fi done - - # extra.sh can be used for anything - # but should *only* be a last resort - if [ -f "../../${cfgsdir}/${tree}/extra.sh" ]; then - "../../${cfgsdir}/${tree}/extra.sh" || \ - err "prepare_new_tree ${project}/${tree}: extra.sh: error" - fi ) }