diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-06-25 21:15:57 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-06-27 23:12:04 +0100 |
| commit | 885997a9841ab666ccf1f1b573b980aa8c84a339 (patch) | |
| tree | c7b5d83ec12bd4ff9a3da347774976c46e52295b /tools | |
| parent | 44ebccb0529e2fd9f063bf544c8535104b9b0419 (diff) | |
| download | klee-885997a9841ab666ccf1f1b573b980aa8c84a339.tar.gz | |
Define stat64 to be stat on MacOS. This fixes compilation on more recent macOS versions, where stat64 is not defined anymore.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions