diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 14:06:30 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 17:39:17 -0700 |
| commit | 1592fc057fa81ca9714f5761325f61ad0c15747a (patch) | |
| tree | 23fb4c15e541225a02346b34ba9b46c061a5c7ac /examples | |
| parent | 13ae5fef303a54da6d9e2a30b23c3209c0a20d45 (diff) | |
| download | klee-1592fc057fa81ca9714f5761325f61ad0c15747a.tar.gz | |
Tweak the workarounds for multiple definition of PACKAGE_* macros from config.h files.
- There seems to be a better solution for this by defining a macro prefix, per:
http://www.gnu.org/software/autoconf-archive/ax_prefix_config_h.html
but I have no experience with that and it looks like it might involve
rewriting a bunch of our macro checks.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions