diff options
author | jackpoz <giacomopoz@gmail.com> | 2018-05-11 20:36:14 +0200 |
---|---|---|
committer | jackpoz <giacomopoz@gmail.com> | 2018-05-12 09:37:51 +0200 |
commit | 8fe74bf0f90aab0b23d5ff21079cba4201bb4fdf (patch) | |
tree | dbd187bf59f55f81cb81d01acd4998077553fb9b /dep/jemalloc/src/spin.c | |
parent | e5b3814020fe1a288f4cd8bbf0289bd0abfd5c10 (diff) |
Dep/Jemalloc: Update to Jemalloc 5.1.0
Diffstat (limited to 'dep/jemalloc/src/spin.c')
-rw-r--r-- | dep/jemalloc/src/spin.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/dep/jemalloc/src/spin.c b/dep/jemalloc/src/spin.c deleted file mode 100644 index 24372c26c94..00000000000 --- a/dep/jemalloc/src/spin.c +++ /dev/null @@ -1,4 +0,0 @@ -#define JEMALLOC_SPIN_C_ -#include "jemalloc/internal/jemalloc_preamble.h" - -#include "jemalloc/internal/spin.h" |