diff --git a/CI/domain_map.py b/CI/domain_map.py index 10138001b6d6203003c7aea7b84e7fffb77926f4..24b05f6ff957bc122727a3d23a325935046319d5 100644 --- a/CI/domain_map.py +++ b/CI/domain_map.py @@ -32,4 +32,5 @@ DOMAIN_MAP['Tile'] = set(['^TileCalorimeter/']) DOMAIN_MAP['Tools'] = set(['^Tools/']) DOMAIN_MAP['Tracking'] = set(['^Tracking/']) DOMAIN_MAP['Trigger'] = set(['^Trigger/','^HLT/','Trig','^DetectorDescription/.?Reg','^DetectorDescription/RoiDescriptor','RegionSelector']) +DOMAIN_MAP['TriggerMenu'] = set(['^Trigger/TriggerCommon/TriggerMenu'])