Implement --ignore-errors and --keep-going in make.py