Alessio Treglia a8a455a6f7 Makefiles: various improvements (#6101) ... Don't reinstall proto tools unconditionally every time one runs make. On most Linux systems, /usr/local is writable by root only. Allow users to customise installation directory by passing PREFIX to make command line, e.g.: $ make PREFIX=~/.local		2020-04-30 21:30:30 +02:00
..
devtools	Makefiles: various improvements (#6101)	2020-04-30 21:30:30 +02:00
githooks	add pre-commit hook (#6041)	2020-04-28 14:51:42 +00:00
migrate	Merge PR #4471: Migrate genesis cmd	2019-07-03 12:21:34 -04:00
test_cover.sh	Merge PR #6033: Add setup for cli_test	2020-04-29 11:52:30 -04:00