Package: watchdog Version: 5.13-1 Severity: normal Man says: watchdog-timeout = <timeout> Set the watchdog device timeout during startup. If not set, the default is driver-dependent.
But this is lie of course, as configure does $as_echo "#define TIMER_MARGIN 60" >>confdefs.h so timeout module option is totally ignored. -- sergio. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
