diff options
| author | Shawn Landden <shawn@churchofgit.com> | 2013-12-14 09:27:44 -0800 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-12-14 17:33:10 -0500 |
| commit | 5d5f8ffa077b0f4716d5178734601a0c27f575df (patch) | |
| tree | a542a58adfddece9791729f83251774eae551a68 /make-man-rules.py | |
| parent | 9091e686f43184065381aa71929e3df36a4ea2e1 (diff) | |
build: use -ftrapv for development
We want to find these bugs if they exist.
Diffstat (limited to 'make-man-rules.py')
0 files changed, 0 insertions, 0 deletions