diff options
Diffstat (limited to 'src/third_party/wiredtiger/build_posix/Make.base')
-rw-r--r-- | src/third_party/wiredtiger/build_posix/Make.base | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/build_posix/Make.base b/src/third_party/wiredtiger/build_posix/Make.base index db8ae2fabf4..20b446af005 100644 --- a/src/third_party/wiredtiger/build_posix/Make.base +++ b/src/third_party/wiredtiger/build_posix/Make.base @@ -57,7 +57,8 @@ $(srcdir)/src/include/extern.h: auto-includes.chk $(srcdir)/src/include/wt_internal.h: auto-includes.chk auto-includes.chk: $(libwiredtiger_la_SOURCES) - @(cd $(srcdir)/dist && sh s_prototypes && sh s_typedef -b) && touch $@ + @(cd $(srcdir)/dist && \ + python prototypes.py && sh s_typedef -b) && touch $@ $(srcdir)/docs/index.html: @cd $(srcdir)/dist && sh s_docs |