1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
Description: Filter out items from list that are None
Bug-Debian: https://bugs.debian.org/936328
Author: Andreas Tille <tille@debian.org>
Last-Update: Sat, 07 Dec 2019 12:44:55 +0100
--- a/tools/find_boost
+++ b/tools/find_boost
@@ -38,8 +38,12 @@ def find_boost():
glob("/opt/local/include/boost/") + \
glob("/opt/local/include/boost*/")
- boosts_found = [ (boost, boost_version(boost))
- for boost in boost_candidates ]
+ boosts_found_all = [ (boost, boost_version(boost))
+ for boost in boost_candidates ]
+ boosts_found = []
+ for bf in boosts_found_all:
+ if not bf[1] == None:
+ boosts_found.append(bf)
if boosts_found:
best_boost = max(boosts_found, key=lambda t: t[1])[0]
return best_boost
|
