diff options
author | Nicolas Noble <nicolasnoble@users.noreply.github.com> | 2016-07-11 17:58:47 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-11 17:58:47 -0700 |
commit | 2b98c8838d2035296b9cb016fc9af2bb8a987d90 (patch) | |
tree | 51e00ccbe44588257a5010a13f1549f5c782c1f1 /examples/python/helloworld/run_codegen.sh | |
parent | 8c18b4abccf3fec3c8f377fac8a638e729c0de26 (diff) | |
parent | 9a5b4348f843c567185d9fa36d189a1df1ab617b (diff) |
Merge pull request #7291 from ctiller/better_status
Make it more likely to correctly report deadline exceeded
Diffstat (limited to 'examples/python/helloworld/run_codegen.sh')
0 files changed, 0 insertions, 0 deletions