diff options
author | Alexander Shiyan <[email protected]> | 2014-02-15 13:23:25 +0400 |
---|---|---|
committer | Wim Van Sebroeck <[email protected]> | 2014-03-31 13:28:20 +0200 |
commit | 70605d9bab216534a593f3ec8218ab8c015cb452 (patch) | |
tree | 1e2247f211644300a15992831a07c66518fc8d38 /tools/perf/scripts/python/Perf-Trace-Util/lib/Perf/Trace/Util.py | |
parent | 1cf8a3487d385b3221d07ab6a7a003761e8806c1 (diff) |
watchdog: wdt285: Fix variable type
Variable "new_margin" is checked in the function watchdog_ioctl()
to be non-negative, so change its type to "int".
Signed-off-by: Alexander Shiyan <[email protected]>
Reviewed-by: Guenter Roeck <[email protected]>
Signed-off-by: Wim Van Sebroeck <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/Perf-Trace-Util/lib/Perf/Trace/Util.py')
0 files changed, 0 insertions, 0 deletions