diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-12T15·36+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-12T15·36+0000 |
| commit | ac36c6cd44e8f46573ce3df0749d2f062fa35f3b (patch) | |
| tree | 09fd3f8a326d3c6088a5213ca8e04d6d69685d3b /scripts | |
| parent | 2b70a8e7c98adebdac1e546e17ee1d909b4e5989 (diff) | |
* Some hackery to make "make check" succeed on Cygwin.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions