diff options
| -rwxr-xr-x | scripts/feeds | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/feeds b/scripts/feeds index 122f8568cb..eee0a50717 100755 --- a/scripts/feeds +++ b/scripts/feeds @@ -537,7 +537,9 @@ sub install_src { my $override = 0; if (is_core_src($name)) { if (!$force) { - warn "Not overriding core package $name; use -f to force\n"; + if ($name ne "toolchain" && $name ne "linux") { + warn "WARNING: Not overriding core package '$name'; use -f to force\n"; + } return 0; } $override = 1; |