diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 13:45:46 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 17:39:17 -0700 |
| commit | 4444e21e7926ca079583f14a51cca0bf5e01b711 (patch) | |
| tree | a3301e8d01426e944766b037b40dcb9b181cceea /autoconf | |
| parent | e01706cfb754aca4b2c1b2c15428115df46742be (diff) | |
| download | klee-4444e21e7926ca079583f14a51cca0bf5e01b711.tar.gz | |
Do not require mallinfo(), which is Linux specific.
Diffstat (limited to 'autoconf')
| -rw-r--r-- | autoconf/configure.ac | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index 54bc3d32..f1b2dfc3 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -500,8 +500,7 @@ dnl Test for features dnl ************************************************************************** AC_SEARCH_LIBS(mallinfo,malloc, AC_DEFINE([HAVE_MALLINFO],[1],[Define if mallinfo() is available on this platform.]), - AC_MSG_ERROR([mallinfo() must be supported by your malloc implementation]) - ) + AC_MSG_WARN([mallinfo() was not found - disabling memory usage checking])) dnl ************************************************************************** dnl Find an install of STP |