4 Commits

Author	SHA1	Message	Date
Cenk Gündoğan	7aa499d5f1	make: use $(MAKE) instead of direct make call	2020-07-03 12:03:06 +02:00
Alexandre Abadie	a0b042cdd4	dist/tools: adapt tools that are built using pkg.mk	2020-06-26 09:25:45 +02:00
Gaëtan Harter	f08116f3ce	dist/tools/*: adapt to new state file targets ... Prepare for handling pkg state with files. So it requires having the path defined before declaring targets. In addition, it cleans up the old git-download target.	2020-01-08 20:55:19 +01:00
Gaëtan Harter	d852ca2b21	pic32prog: add pic32prog programming tool ... pic32prog is a program for flashing pic32 boards from command line on Linux. It works with: * Microchip PICkit2 * Microchip PICkit3 with script firmware. * Other ones: https://github.com/sergev/pic32prog/wiki	2019-09-24 17:43:12 +02:00