|
|
7bfad91e2d
|
Makefile: add colors to run-debug
|
2023-02-17 14:07:21 +01:00 |
|
|
|
e2a3ed0131
|
Makefile: Build with 4 workers, add 'run-debug', improve 'help'
|
2023-02-17 13:52:40 +01:00 |
|
|
|
558eac0f74
|
Minor makefile touch up
|
2022-02-03 23:14:27 +01:00 |
|
|
|
dbd1b92957
|
Writing makefiles is fun
|
2021-12-14 15:04:13 +01:00 |
|
