diff options
| author | Ben Widawsky <ben@bwidawsk.net> | 2013-02-21 22:05:32 -0800 |
|---|---|---|
| committer | Jesse Barnes <jbarnes@virtuousgeek.org> | 2013-04-16 14:06:02 -0700 |
| commit | ec107b019435ab49e8454664368bf1187f3d0273 (patch) | |
| tree | 4ea541763e03ac079f8dd2c6f651a2a7d1b0bd63 /tools | |
| parent | 0b7da0afb10b3ebfd8615d7b3e50bde013aa2b0a (diff) | |
quick_dump: say something when reg init fails
Signed-off-by: Ben Widawsky <ben@bwidawsk.net>
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/quick_dump/quick_dump.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/quick_dump/quick_dump.py b/tools/quick_dump/quick_dump.py index c2f5cd97..dd64710e 100755 --- a/tools/quick_dump/quick_dump.py +++ b/tools/quick_dump/quick_dump.py @@ -26,6 +26,7 @@ parser.add_argument('profile', nargs='?', type=argparse.FileType('r'), default=N args = parser.parse_args() if reg.init() == False: + print("Register initialization failed") sys.exit() # Put us where the script is |