diff options
| author | Rob Taylor <rob.taylor@codethink.co.uk> | 2007-08-03 15:29:03 +0100 |
|---|---|---|
| committer | Rob Taylor <rob.taylor@codethink.co.uk> | 2007-08-03 15:29:03 +0100 |
| commit | 464338980e1acf745f76ab737951fa67a39d4e17 (patch) | |
| tree | 9c0abcdf86a63ce980289f7b92e029c9b5218740 /.gitignore | |
| parent | 79de50a2d1666be3f63243b2b91c738f99c3271a (diff) | |
add command line options for --g-fatal-warnings and --g-fatal-critical
Gives ohmd two new command line options: --g-fatal-warnings that makes g_warnings fatal and exits, and --g-fatal-critical, which makes g_critical cause a fatal error.
Updates run-ohm.sh to always run with --g-fatal-critical
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions