- Factor out the dev-tools into a stand-alone, no-installed program - Built the dev-tools if --enable-testing is specified - Remove the --enable-dev-tools configure option - Allow suffix on the binary name - Update symlinks - Cleanup Makefile
Conflicts: .gitignore Makefile.in persistent-data/space-maps/disk.cc