diff options
-rwxr-xr-x | configure.py | 2 |
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 |