diff options
| -rwxr-xr-x | pbuilder-apt-config | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pbuilder-apt-config b/pbuilder-apt-config index dcaf165..4f0794d 100755 --- a/pbuilder-apt-config +++ b/pbuilder-apt-config @@ -250,6 +250,9 @@ if [ -n "$profile" ]; then esac ;; ubuntu) + if [ "$base_dist" != "${profile%%-*}" ]; then + die "Unknown Ubuntu based profile=$profile" + fi case "$profile" in *-backports) pockets="updates backports" @@ -262,7 +265,7 @@ if [ -n "$profile" ]; then ;; *) if [ "$base_dist" != "$profile" ]; then - die "Unknown Ubuntu based profile=$profile" + die "Unknown Ubuntu pocket based profile=$profile" fi ;; esac |