diff options
-rwxr-xr-x | pbuilder-apt-config | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pbuilder-apt-config b/pbuilder-apt-config index b94cbc6..dcaf165 100755 --- a/pbuilder-apt-config +++ b/pbuilder-apt-config @@ -226,12 +226,18 @@ if [ -n "$profile" ]; then fi ;; *-backports) + if [ "$base_dist" != "${profile%%-*}" ]; then + die "Unknown Backports.org based profile=$profile" + fi vendor="backports.org" mirror="`guess_vendor_arch_mirror "$vendor" "$arch"`" output_sources "$with_sources" "$base_mirror" "$base_dist" "$components" output_sources "$with_sources" "$mirror" "$profile" "$components" ;; *-proposed-updates) + if [ "$base_dist" != "${profile%%-*}" ]; then + die "Unknown Debian updates based profile=$profile" + fi output_sources "$with_sources" "$base_mirror" "$base_dist" "$components" output_sources "$with_sources" "$base_mirror" "$profile" "$components" ;; |