Update pin.pref.epp

diff --git a/templates/pin.pref.epp b/templates/pin.pref.epp
index cb43bc0f20d1592070c85dc450f6f2c603243392..2a9f45e141364dcd55573f6b6d9a5444e61c8f2c 100644 (file)
--- a/templates/pin.pref.epp
+++ b/templates/pin.pref.epp
@@ -1,7 +1,7 @@
 <%- | $name, $pin_release, $release, $codename, $release_version, $component, $originator, $label, $version, $origin, $explanation, $packages_string, $priority | -%>
 <%-
 $pin =
 <%- | $name, $pin_release, $release, $codename, $release_version, $component, $originator, $label, $version, $origin, $explanation, $packages_string, $priority | -%>
 <%-
 $pin =

-if $pin_release {
+if $pin_release and $pin_release.length > 0

   $options = [
     if $release         { "a=${release}" },
     if $codename        { "n=${codename}" },
   $options = [
     if $release         { "a=${release}" },
     if $codename        { "n=${codename}" },