Merge "Use DESTDIR instead of prefix for install"
tree: ec7f941324dacf529cb9969fdff89c0feac16724
  1. patches/
  2. build.py
  3. config_toml.py
  4. paths.py