diff options
author | Loïc Minier <lool@dooz.org> | 2010-01-25 12:31:38 +0100 |
---|---|---|
committer | Loïc Minier <lool@dooz.org> | 2010-01-25 12:31:38 +0100 |
commit | 5cb312ed27d260ca34813c773d0485170d0d1c08 (patch) | |
tree | ee5034d885909ecbd9ff2141356ea9bbd7f01ddb /pbuilder-apt-config | |
parent | b4f74938bf78a542177d2e1aa7ef648ff4a68c4a (diff) | |
download | pbuilder-5cb312ed27d260ca34813c773d0485170d0d1c08.tar pbuilder-5cb312ed27d260ca34813c773d0485170d0d1c08.tar.gz |
Add sanity checks
Diffstat (limited to 'pbuilder-apt-config')
-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" ;; |