diff options
| author | Bradley Sepos <[email protected]> | 2019-04-13 11:55:13 -0400 |
|---|---|---|
| committer | Bradley Sepos <[email protected]> | 2019-04-13 14:05:22 -0400 |
| commit | 271f22a80435a159ffed8c52d0c8d211e6bb8404 (patch) | |
| tree | aa292c92d6aa5d085ceac7538a7c76fca9d1bb06 /make/configure.py | |
| parent | 38d47df3ba5434438c91552cf78e968773233a28 (diff) | |
make: Fix initialization of minver in configure.py.
Diffstat (limited to 'make/configure.py')
| -rw-r--r-- | make/configure.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make/configure.py b/make/configure.py index 90e269e6c..111dac98d 100644 --- a/make/configure.py +++ b/make/configure.py @@ -201,9 +201,9 @@ class Configure( object ): else: self.sysroot_dir = "" - if options.minver != None: + try: self.minver = options.minver - else: + except: self.minver = "" ## special case if src == build: add build subdir |