diff options
| -rwxr-xr-x | script/update/project/trees | 7 |
1 files changed, 0 insertions, 7 deletions
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 ) } |