diff options
| author | Quentin Young <qlyoung@users.noreply.github.com> | 2019-06-13 15:06:24 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-13 15:06:24 -0400 |
| commit | 42aac9b2abe62b3eae952ba690bdec855edc1ba7 (patch) | |
| tree | 9b63a18ee4b099a6c5229f807e934d0b9c78fdb3 /lib/clippy.c | |
| parent | 096873bd469d72ee0c9d0d27f444cd8cbfa655e0 (diff) | |
| parent | b41b3f7bf1dee6e7c2817a63452e725d764a38a1 (diff) | |
Merge pull request #4500 from opensourcerouting/clippy-improve
clippy: batch of improvements
Diffstat (limited to 'lib/clippy.c')
| -rw-r--r-- | lib/clippy.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/clippy.c b/lib/clippy.c index 44dcc02eb8..cd8067f5eb 100644 --- a/lib/clippy.c +++ b/lib/clippy.c @@ -85,8 +85,6 @@ int main(int argc, char **argv) if (PyRun_AnyFile(fp, pyfile)) { if (PyErr_Occurred()) PyErr_Print(); - else - printf("unknown python failure (?)\n"); return 1; } Py_Finalize(); |