diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2013-03-18 11:38:19 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2013-03-18 11:38:19 +0100 |
| commit | f91bd741d223395cc3b1a609459e7d7226916e86 (patch) | |
| tree | 51d11956294706a4aacb45ecb9271e4c047a1e7b /configure.in | |
| parent | 8c1dd12cb53ce141d8ade2c8abc619dcfa7f37a1 (diff) | |
report failures via exit and ensure we don't overflow
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions