diff options
author | Jack Lloyd <[email protected]> | 2015-11-28 09:38:56 -0500 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2015-11-28 09:38:56 -0500 |
commit | 3bdf9d1bd8345fc2aa0f1c5ec0261921a77988cf (patch) | |
tree | 0d7f914cd41c0cff8409faf376b289f78e75911b /configure.py | |
parent | 9b54e39d96b3d586cb3a790ddc9a9610b25a07bf (diff) |
Better error checking for <libs> settings in module info files
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/configure.py b/configure.py index 122e493f3..85e441666 100755 --- a/configure.py +++ b/configure.py @@ -584,7 +584,14 @@ class ModuleInfo(object): # Coerce to more useful types def convert_lib_list(l): + if len(l) % 3 != 0: + raise Exception("Bad <libs> in module %s" % (self.basename)) result = {} + + for sep in l[1::3]: + if(sep != '->'): + raise Exception("Bad <libs> in module %s" % (self.basename)) + for (targetlist, vallist) in zip(l[::3], l[2::3]): vals = vallist.split(',') for target in targetlist.split(','): |