* Makefile: DEBUG option * diff_settings.py: if diffing with --source, make DEBUG=1 Co-authored-by: Pheenoh <pheenoh@gmail.com>
Co-authored-by: Pheenoh <pheenoh@gmail.com>