diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2013-09-02 17:15:11 +0200 |
|---|---|---|
| committer | Martin Nowack <martin.nowack@gmail.com> | 2013-09-02 17:19:08 +0200 |
| commit | 1e63f37178748da804aae3a4735fca73dee5d53a (patch) | |
| tree | 843a1e6762e2022c884348342682791832d92cc8 /Makefile.config.in | |
| parent | 5878249b4f8276773349a1544ea22478afd0ee50 (diff) | |
| download | klee-1e63f37178748da804aae3a4735fca73dee5d53a.tar.gz | |
Fixed multiple definitions of POSIX file functions
Function like stat() were defined for 32bit and 64bit version. Added compile time based selection of appropriate version using GNUC macros __x86_64__ and __ppc64__.
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions