1 files changed, 2 insertions, 0 deletions
diff --git a/configure b/configure
index 7fdb067bf2..6920d6d90f 100755
--- a/configure
+++ b/configure
@@ -33760,6 +33760,8 @@ int main() {
         volatile unsigned long val = 1;
         __sync_synchronize();
         __sync_val_compare_and_swap(&val, 1, 0);
+        __sync_add_and_fetch(&val, 1);
+        __sync_sub_and_fetch(&val, 1);
         return 0;
       }