diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-24T13·12+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-24T13·12+0000 |
| commit | a3c63d0d6c2570ce3218be809f67dddc5239cdff (patch) | |
| tree | 1d062729d423c96c133c291ff01acb11c2e933d9 /aterm-gc.supp | |
| parent | 90b6352d0a5d08dc7feabcfde92653dd1f6e324b (diff) | |
* Disable fsync() in SQLite if the fsync-metadata option is set to
false. * Change the default for `fsync-metadata' to true. * Disable `fsync-metadata' in `make check'.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions