-
Bryan Richter authored
1. Get rid of rarely-used commands 2. Synchronize with changes to db.makefile 3. Remove Nix hacks, which seemed to do more harm than good 4. Remove other, similar hacks, which a true Nix build will obviate 5. Shut down the database after commands exit 6. Isolate build dirs for test and devel, since they seem to always use different flags on NixOS, causing time-consuming rebuilds when flipping between the two commands.