From: Armin Rigo <arigo@tunes.org>
Date: Wed, 2 Oct 2019 17:08:10 +0300
Subject: Fix RevDB build

---
 rpython/translator/revdb/src-revdb/revdb_include.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/rpython/translator/revdb/src-revdb/revdb_include.h b/rpython/translator/revdb/src-revdb/revdb_include.h
index 232e7f9..0071bb7 100644
--- a/rpython/translator/revdb/src-revdb/revdb_include.h
+++ b/rpython/translator/revdb/src-revdb/revdb_include.h
@@ -285,6 +285,8 @@ RPY_EXTERN void seeing_uid(uint64_t uid);
 #define OP_GC_RAWREFCOUNT_NEXT_DEAD(r)   \
     r = rpy_reverse_db_rawrefcount_next_dead()
 
+#define OP_GC_INCREASE_ROOT_STACK_DEPTH(depth, r)   /* nothing */
+
 
 RPY_EXTERN void rpy_reverse_db_flush(void);  /* must be called with the lock */
 RPY_EXTERN void rpy_reverse_db_fetch(const char *file, int line);
