Merge pull request #8122 from andyque/fixJenkins

uncomment 3rd part bins check
2014-09-23 11:57:57 +08:00 · 2014-09-23 11:57:57 +08:00 · 62697bbb42
parent bb1771a000 0267712531
commit 62697bbb42
1 changed files with 1 additions and 1 deletions
--- a/tools/jenkins-scripts/pull-request-builder.py
+++ b/tools/jenkins-scripts/pull-request-builder.py
@ -185,7 +185,7 @@ def main():
        return(2)

    #copy check_current_3rd_libs
-    check_current_3rd_libs(branch)
+    # check_current_3rd_libs(branch)

    # Generate binding glue codes
    if(branch == 'v3'):