diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-04-19 21:39:11 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-04-19 21:39:11 +0200 |
| commit | c3b24699c360725d9ce91e1cabefd9e8ddd2814c (patch) | |
| tree | ccf15445252a3d65a5f38427de0d2418c0f34920 /src/include | |
| parent | 254a9f066b2fb96b347ddb07040608eacaf7b942 (diff) | |
| parent | 87481d240d6e44a324ffb5c1a695addd5898ae21 (diff) | |
| download | gnunet-c3b24699c360725d9ce91e1cabefd9e8ddd2814c.tar.gz gnunet-c3b24699c360725d9ce91e1cabefd9e8ddd2814c.zip | |
Merge branch 'master' of git+ssh://gnunet.org/gnunet
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/platform.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/include/platform.h b/src/include/platform.h index 3b07f47ea..baaf26ad6 100644 --- a/src/include/platform.h +++ b/src/include/platform.h | |||
| @@ -45,6 +45,10 @@ | |||
| 45 | #include <sys/types.h> | 45 | #include <sys/types.h> |
| 46 | #endif | 46 | #endif |
| 47 | 47 | ||
| 48 | #ifdef __clang__ | ||
| 49 | #undef HAVE_STATIC_ASSERT | ||
| 50 | #endif | ||
| 51 | |||
| 48 | /** | 52 | /** |
| 49 | * These may be expensive, but good for debugging... | 53 | * These may be expensive, but good for debugging... |
| 50 | */ | 54 | */ |