config: fix merge_modules
Change-Id: I31d05afe300443e08fb08f9e6645401f52cfae39 Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/31323 Tested-by: Jenkins Automated Tests <pedersen+jenkins@frm2.tum.de> Reviewed-by: Alexander Zaft <a.zaft@fz-juelich.de>
This commit is contained in:
parent
3786d2f209
commit
7c95f1f8ee
@ -125,7 +125,7 @@ class Config(dict):
|
||||
continue
|
||||
if name not in self.module_names:
|
||||
self.module_names.add(name)
|
||||
self.modules.append(mod)
|
||||
self[name] = mod
|
||||
|
||||
|
||||
def process_file(filename, log):
|
||||
|
Loading…
x
Reference in New Issue
Block a user