aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorIan Campbell <ijc@hellion.org.uk>2013-08-16 15:21:05 +0100
committerIan Jackson <Ian.Jackson@eu.citrix.com>2013-09-03 15:42:44 +0100
commit51167aac2cb2c5bc390808d5c772fe7d1288a97f (patch)
treeeb950b5b548f92ad57b9d57bd2da0e962e2cdae3
parent9f93027afd796a98d7b92898f4ccc772796a4874 (diff)
downloadxen-51167aac2cb2c5bc390808d5c772fe7d1288a97f.tar.gz
xen-51167aac2cb2c5bc390808d5c772fe7d1288a97f.tar.bz2
xen-51167aac2cb2c5bc390808d5c772fe7d1288a97f.zip
pygrub: add Debian extlinux.conf path
This is Debian bug #697407. http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=697407 Signed-off-by: Ian Campbell <ijc@hellion.org.uk> Acked-by: Ian Jackson <ian.jackson@eu.citrix.com> (cherry picked from commit 258d27a1d9fb33a490bef1381f52d522225c3dca)
-rw-r--r--tools/pygrub/src/pygrub1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/pygrub/src/pygrub b/tools/pygrub/src/pygrub
index 295fde071a..ca9b00033b 100644
--- a/tools/pygrub/src/pygrub
+++ b/tools/pygrub/src/pygrub
@@ -430,6 +430,7 @@ class Grub:
"/boot/grub2/grub.cfg", "/grub2/grub.cfg"]) + \
map(lambda x: (x,grub.ExtLinuxConf.ExtLinuxConfigFile),
["/boot/isolinux/isolinux.cfg",
+ "/boot/extlinux/extlinux.conf",
"/boot/extlinux.conf"]) + \
map(lambda x: (x,grub.GrubConf.GrubConfigFile),
["/boot/grub/menu.lst", "/boot/grub/grub.conf",