fix the linux 32 bit build closes[t:2306]

git-svn-id: file:///svn/toku/tokudb@17014 c7de825b-a66e-492c-adef-691d508d4ae1
This commit is contained in:
Rich Prohaska 2013-04-16 23:58:58 -04:00 committed by Yoni Fogel
parent b0ee051f9c
commit 76533d0303

View file

@ -74,7 +74,7 @@ static inline int32_t toku_sync_fetch_and_decrement_int32(volatile int32_t *a) {
#if __GNUC__ && __i386__
// workaround for a gcc 4.1.2 bug on 32 bit platforms.
static uint64_t toku_sync_fetch_and_add_uint64(volatile uint64_t *a, uint64_t b) __attribute__((noinline));
uint64_t toku_sync_fetch_and_add_uint64(volatile uint64_t *a, uint64_t b) __attribute__((noinline));
#else