diff --git a/devtools/devtool.py b/devtools/devtool.py index b17c6801..d0fd1404 100755 --- a/devtools/devtool.py +++ b/devtools/devtool.py @@ -161,7 +161,7 @@ def cmd_ci(self): diff = tuple(l.split('/') for l in diff.stdout.strip().replace('\r', '').split('\n')) dirs = set((l[0] for l in diff)) - changed_components = set((l[1] for l in diff if len(l) > 1 and l[0] == 'components')) + changed_components = set((l[1] for l in diff if len(l) > 1 and l[0] in ('components', 'examples'))) all_components = {c.name: c for c in self.iter_components()} components_to_build = set()