diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-04-03 13:42:20 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-04-03 13:42:20 +0000 |
| commit | 873c853f7cb68b44cefa5e2d385615f215157aa9 (patch) | |
| tree | d54c9178d30932567236513c526927286f9c28cc /src/command_manager.cc | |
| parent | f3dd65fbf193ef4e53a58919cb14264b376cd1b0 (diff) | |
gdb: do not catch throw, but break when constructing an assert_failed exception
Diffstat (limited to 'src/command_manager.cc')
0 files changed, 0 insertions, 0 deletions