diff options
Diffstat (limited to 'debian/update-grub-legacy-ec2')
| -rwxr-xr-x | debian/update-grub-legacy-ec2 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/update-grub-legacy-ec2 b/debian/update-grub-legacy-ec2 index 19648f6d..337757b3 100755 --- a/debian/update-grub-legacy-ec2 +++ b/debian/update-grub-legacy-ec2 @@ -1405,6 +1405,7 @@ if ! type is_xen_kernel >/dev/null 2>&1; then ver_flavor="${1##*vmlinuz-}" case "${ver_flavor}" in + *-aws) return 0;; *-ec2) return 0;; *-virtual) # 10.04 LTS through 12.04 LTS -virtual is the EC2/Xen kernel |