diff options
| author | dzwdz | 2023-08-15 20:41:38 +0200 |
|---|---|---|
| committer | dzwdz | 2023-08-15 20:41:38 +0200 |
| commit | 034a60c19f15f74186bfb902172bf0f1cd356321 (patch) | |
| tree | 6eee5fd1b7dd18697f40e9de26dec172ba2b6223 /src | |
| parent | 070b19e2948b3a03669b0f1888f1661b0d196275 (diff) | |
build: replace make {boot,test} with a dedicated script
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions