diff options
| author | Gleb Popov <6yearold@gmail.com> | 2019-11-01 09:40:37 +0400 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-11-09 15:31:56 +0000 |
| commit | c33beaa330bc8917249575b285f4a083dfe81922 (patch) | |
| tree | 9a92d586f554af47bf281757b837f17d65837bd3 /lib | |
| parent | a5dafcf58bcbc5f3387169a8ea287fa57c0b0e32 (diff) | |
| download | klee-c33beaa330bc8917249575b285f4a083dfe81922.tar.gz | |
Compile fd_64.c file of POSIX runtime correctly on FreeBSD - append "64" suffix
to function names.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions