eventually use the right kernel arg
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 26 Nov 2008 08:21:42 +0000 (08:21 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 26 Nov 2008 08:21:42 +0000 (08:21 +0000)
PLC/Methods/GetBootMedium.py

index 1c4e6a4..6c28d2b 100644 (file)
@@ -297,8 +297,7 @@ class GetBootMedium(Method):
                 elif option.find("serial:") == 0:
                     build_sh_spec['serial']=option.replace("serial:","")
                 elif option == "no-hangcheck":
-                    build_sh_spec['kargs'].append('hcheck_reboot=0')
-                    build_sh_spec['kargs'].append('debug')
+                    build_sh_spec['kargs'].append('hcheck_reboot0')
                 else:
                     raise PLCInvalidArgument, "unknown option %s"%option