diff --git a/scripts/build.py b/scripts/build.py index 24e49583..9755c533 100644 --- a/scripts/build.py +++ b/scripts/build.py @@ -81,7 +81,8 @@ def build(modules, order, target): if target in ["clean", "distclean"]: for m in reversed(order): run_make(m, target) - modules.remove(m) + if m in modules: + modules.remove(m) if not len(modules): print "all modules cleaned" return