From e619ab76850eebe70f75ee9b6a7d320f7a3092ce Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Thu, 14 Aug 2008 09:58:55 +0000
Subject: [PATCH] fix build

---
 source/BootManager.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/BootManager.py b/source/BootManager.py
index 39b5d19..1439549 100755
--- a/source/BootManager.py
+++ b/source/BootManager.py
@@ -304,7 +304,7 @@ def main(argv):
                      'reinstall':None,
                      'boot':None,
                      'safeboot':None,
-                     'failboot':None
+                     'failboot':None,
                      'disabled':None, }
 
     # set to 1 if error occurred
-- 
2.43.0