aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSimon Warta <[email protected]>2017-01-09 23:19:10 +0100
committerSimon Warta <[email protected]>2017-01-11 12:32:03 +0100
commitb9cd6a729037cb60d6e168660a9ff22039a0a28f (patch)
tree53680ed52e3238537a7a4efa8b00f951dce93352
parent859902a215ced4182e3d04e7b978678276fc3b31 (diff)
Resolve lint issues: deprecated-module
-rwxr-xr-xconfigure.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py
index 84ad37e52..f0a2ab619 100755
--- a/configure.py
+++ b/configure.py
@@ -32,7 +32,7 @@ import traceback
import logging
import time
import errno
-import optparse
+import optparse # pylint: disable=deprecated-module
import botan_version