fix this too

This commit is contained in:
mrdudz 2022-02-05 18:09:32 +01:00
parent 6129ff532b
commit 1af84ed9a0
1 changed files with 1 additions and 1 deletions

View File

@ -64,7 +64,7 @@ jobs:
run: make -C samples clean
- name: Remove programs in util directory
shell: bash
run: make -j2 util clean
run: make -C util clean
- name: Build the document files.
shell: bash
run: make -j2 doc