diff options
| author | bk@work.mysql.com <> | 2000-07-31 21:29:14 +0200 |
|---|---|---|
| committer | bk@work.mysql.com <> | 2000-07-31 21:29:14 +0200 |
| commit | f4c589ff6c653d1d2a09c26e46ead3c8a15655d8 (patch) | |
| tree | d253a359142dfc1ed247d5d4365d86972ea31109 /dbug/sanity.c | |
| parent | 7eec25e393727b16bb916b50d82b0aa3084e065c (diff) | |
| download | mariadb-git-f4c589ff6c653d1d2a09c26e46ead3c8a15655d8.tar.gz | |
Import changeset
Diffstat (limited to 'dbug/sanity.c')
| -rw-r--r-- | dbug/sanity.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dbug/sanity.c b/dbug/sanity.c new file mode 100644 index 00000000000..d287a468028 --- /dev/null +++ b/dbug/sanity.c @@ -0,0 +1,13 @@ +/* Declarate _sanity() if not declared in main program */ + +#include <global.h> + +extern int _sanity(const char *file,uint line); + +#if defined(SAFEMALLOC) && !defined(MASTER) /* Avoid errors in MySQL */ +int _sanity(const char * file __attribute__((unused)), + uint line __attribute__((unused))) +{ + return 0; +} +#endif |