diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/s_all')
-rwxr-xr-x | src/third_party/wiredtiger/dist/s_all | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/dist/s_all b/src/third_party/wiredtiger/dist/s_all index 51ea98ab154..883790d66fb 100755 --- a/src/third_party/wiredtiger/dist/s_all +++ b/src/third_party/wiredtiger/dist/s_all @@ -78,7 +78,7 @@ run "python flags.py" run "python log.py" run "python stat.py" run "python java_doc.py" -run "sh ./s_prototypes" +run "python prototypes.py" run "sh ./s_typedef -b" run "sh ./s_copyright" run "sh ./s_style" |